∫ Утверждение Mathlib
descResidueField_stalkClosedPointTo_fromSpecResidueField
Mathlib.AlgebraicGeometry.ResidueField
URI: https://scilib.ai/kg/mathlib#AlgebraicGeometry.Scheme.descResidueField_stalkClosedPointTo_fromSpecResidueField
∫ Утверждение Mathlib
Mathlib.AlgebraicGeometry.ResidueField
URI: https://scilib.ai/kg/mathlib#AlgebraicGeometry.Scheme.descResidueField_stalkClosedPointTo_fromSpecResidueField