∫ Утверждение Mathlib
instAlgebraCarrierStalkCommRingCatObjPresheafTopObjPushforwardTopMapValOpensCarrierTopStructureSheaf
Mathlib.AlgebraicGeometry.Spec
URI: https://scilib.ai/kg/mathlib#AlgebraicGeometry.StructureSheaf.instAlgebraCarrierStalkCommRingCatObjPresheafTopObjPushforwardTopMapValOpensCarrierTopStructureSheaf