Theorem AlgebraicGeometry.IsClosedImmersion.stableUnderBaseChange

Modification history