Def NonUnitalRingHomClass.toNonUnitalRingHom

Modification history