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

toSheafedSpaceHom_c

Mathlib.Geometry.RingedSpace.OpenImmersion

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

← MathLib Explorer