Theorem IsGroupHom.mul

Modification history