globalSectionsIso_hom — Mathlib · SciLib

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

globalSectionsIso_hom

Mathlib.AlgebraicGeometry.StructureSheaf

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

← MathLib Explorer