∫ Утверждение Mathlib
restrictStalkIso_inv_eq_germ
Mathlib.Geometry.RingedSpace.LocallyRingedSpace
URI: https://scilib.ai/kg/mathlib#AlgebraicGeometry.LocallyRingedSpace.restrictStalkIso_inv_eq_germ
∫ Утверждение Mathlib
Mathlib.Geometry.RingedSpace.LocallyRingedSpace
URI: https://scilib.ai/kg/mathlib#AlgebraicGeometry.LocallyRingedSpace.restrictStalkIso_inv_eq_germ