Theorem IsGroupHom.injective_iff_trivial_ker

Modification history