Mathlib v3 is deprecated. Go to Mathlib v4

Theorem simple_add_group_of_surjective

Modification history

2020-02-14 00:07
src/group_theory/subgroup.lean
chore(group_theory/sub*) : rename type vars (#1982) …
Deleted simple_add_group_of_surjectiveView on Github →
2019-01-05 16:41
group_theory/subgroup.lean
feat(group_theory/subgroup): simple groups (#572)
Added simple_add_group_of_surjectiveView on Github →