Theorem IsGroupHom.image_subgroup

Modification history