Theorem IsGroupHom.inv_iff_ker'

Modification history