Structure IsAddGroupHom

Modification history