Def RingEquiv.toRingHom

Modification history