Theorem AlgebraicGeometry.isSmooth_stableUnderBaseChange

Modification history