Theorem IsGroupHom.preimage

Modification history