Theorem AlgebraicGeometry.IsImmersion.isImmersion_iff_exists

Modification history