Theorem IsGroupHom.injective_of_trivial_ker

Modification history