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

toLocallyRingedSpace_toSheafedSpace

Mathlib.Geometry.RingedSpace.OpenImmersion

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

← MathLib Explorer