∫ Утверждение Mathlib
ι_isOpenEmbedding
Mathlib.Geometry.RingedSpace.PresheafedSpace.Gluing
URI: https://scilib.ai/kg/mathlib#AlgebraicGeometry.PresheafedSpace.GlueData.ι_isOpenEmbedding
∫ Утверждение Mathlib
Mathlib.Geometry.RingedSpace.PresheafedSpace.Gluing
URI: https://scilib.ai/kg/mathlib#AlgebraicGeometry.PresheafedSpace.GlueData.ι_isOpenEmbedding