Theorem AlgebraicGeometry.IsSeparated.stableUnderBaseChange

Modification history