Structure IsGroupHom

Modification history