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

toSheafedSpaceHom_base

Mathlib.Geometry.RingedSpace.OpenImmersion

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

← MathLib Explorer