∫ Утверждение Mathlib

toSheafedSpace_toPresheafedSpace

Mathlib.Geometry.RingedSpace.OpenImmersion

URI: https://scilib.ai/kg/mathlib#AlgebraicGeometry.PresheafedSpace.IsOpenImmersion.toSheafedSpace_toPresheafedSpace

← MathLib Explorer