ι_appLE_isIso — Mathlib · SciLib

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

ι_appLE_isIso

Mathlib.AlgebraicGeometry.Restrict

URI: https://scilib.ai/kg/mathlib#AlgebraicGeometry.Scheme.Opens.ι_appLE_isIso

← MathLib Explorer