Def RingEquiv.toNonUnitalRingHom

Modification history