Theorem AlgebraicGeometry.isImmersion_eq_inf

Modification history