Theorem RingHom.isStandardSmoothOfRelativeDimension_isStableUnderBaseChange

Modification history