Theorem AlgebraicGeometry.IsClosedImmersion.isIso_iff_ker_eq_bot

Modification history