Theorem IsGroupHom.one_iff_ker_inv'

Modification history