∫ Утверждение Mathlib
Γ_def
Mathlib.Geometry.RingedSpace.SheafedSpace
URI: https://scilib.ai/kg/mathlib#AlgebraicGeometry.SheafedSpace.Γ_def
∫ Утверждение Mathlib
Mathlib.Geometry.RingedSpace.SheafedSpace
URI: https://scilib.ai/kg/mathlib#AlgebraicGeometry.SheafedSpace.Γ_def