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

Γ_def

Mathlib.Geometry.RingedSpace.LocallyRingedSpace

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

← MathLib Explorer