Theorem Inv.isGroupHom

Modification history