Theorem IsGroupHom.preimage_normal

Modification history