Theorem AlgebraicGeometry.IsAffineOpen.imageIsOpenImmersion

Modification history