Theorem AlgebraicGeometry.isIso_iff_isOpenImmersion

Modification history