Theorem IsGroupHom.inv_ker_one

Modification history