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

Γ_def

Mathlib.Geometry.RingedSpace.SheafedSpace

URI: https://scilib.ai/kg/mathlib#AlgebraicGeometry.SheafedSpace.Γ_def

← MathLib Explorer