Def RingHomClass.toRingHom

Modification history