Theorem AlgebraicGeometry.IsProper.stableUnderBaseChange

Modification history