Def RingHom.IsStandardSmooth

Modification history