∫ Утверждение Mathlib
instCreatesColimitLocallyRingedSpaceForgetToLocallyRingedSpace
Mathlib.AlgebraicGeometry.Gluing
URI: https://scilib.ai/kg/mathlib#AlgebraicGeometry.Scheme.IsLocallyDirected.instCreatesColimitLocallyRingedSpaceForgetToLocallyRingedSpace