Theorem IsGroupHom.isNormalSubgroup_ker

Modification history