Theorem AlgebraicGeometry.IsImmersion.stableUnderBaseChange

Modification history