Theorem RingHom.IsStandardSmoothOfRelativeDimension.isStandardSmooth

Modification history