Theorem IsGroupHom.range_subgroup

Modification history