isIso_toBasicOpen — Mathlib · SciLib

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

isIso_toBasicOpen

Mathlib.AlgebraicGeometry.StructureSheaf

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

← MathLib Explorer