instAtPrimeLocalizationsValCarrierTopMemOpensAsIdeal — Mathlib · SciLib

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

instAtPrimeLocalizationsValCarrierTopMemOpensAsIdeal

Mathlib.AlgebraicGeometry.StructureSheaf

URI: https://scilib.ai/kg/mathlib#AlgebraicGeometry.StructureSheaf.instAtPrimeLocalizationsValCarrierTopMemOpensAsIdeal

← MathLib Explorer