Theorem AlgebraicGeometry.IsImmersion.of_comp

Modification history