Def RingHom.ker

Modification history