∫ Утверждение Mathlib
isIso_iff_ker_eq_bot
Mathlib.AlgebraicGeometry.Morphisms.ClosedImmersion
URI: https://scilib.ai/kg/mathlib#AlgebraicGeometry.IsClosedImmersion.isIso_iff_ker_eq_bot
∫ Утверждение Mathlib
Mathlib.AlgebraicGeometry.Morphisms.ClosedImmersion
URI: https://scilib.ai/kg/mathlib#AlgebraicGeometry.IsClosedImmersion.isIso_iff_ker_eq_bot