Def RingHom.IsStandardSmoothOfRelativeDimension

Modification history