mathlib3
feat(group_theory/subgroup): additive version of inj_iff_trivial_ker
#947

Merged

feat(group_theory/subgroup): additive version of inj_iff_trivial_ker #947

mergify merged 1 commit into leanprover-community:master from ramonfmir:inj_iff_trivial_ker

feat(group_theory/subgroup): additive version of inj_iff_trivial_ker

88c9292f

ramonfmir requested a review 6 years ago

jcommelin approved these changes on 2019-04-18

jcommelin added ready-to-merge

mergify merged d0140dd8 into master 6 years ago

Reviewers

jcommelin

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone