Theorem AlgebraicGeometry.isSmooth_isStableUnderBaseChange

Modification history