Theorem AlgebraicGeometry.IsClosedImmersion.isAffine_surjective_of_isAffine

Modification history