Def IsGroupHom.ker

Modification history