Def RingHom.IsIntegral

Modification history