∫ Утверждение Mathlib
opensRange_subschemeCover_map
Mathlib.AlgebraicGeometry.IdealSheaf.Subscheme
URI: https://scilib.ai/kg/mathlib#AlgebraicGeometry.Scheme.IdealSheafData.opensRange_subschemeCover_map
∫ Утверждение Mathlib
Mathlib.AlgebraicGeometry.IdealSheaf.Subscheme
URI: https://scilib.ai/kg/mathlib#AlgebraicGeometry.Scheme.IdealSheafData.opensRange_subschemeCover_map