Theorem AlgebraicGeometry.IsImmersion.comp_iff

Modification history