Theorem AlgebraicGeometry.isSmoothOfRelativeDimension_stableUnderBaseChange

Modification history