isIso_to_global — Mathlib · SciLib

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

isIso_to_global

Mathlib.AlgebraicGeometry.StructureSheaf

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

← MathLib Explorer