Theorem AlgebraicGeometry.isSmoothOfRelativeDimension_isStableUnderBaseChange

Modification history