Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-01-05 16:41 2e636352

View on Github →

feat(group_theory/subgroup): simple groups (#572)

Estimated changes

Modified group_theory/subgroup.lean

added theorem additive.simple_add_group_iff

added theorem is_subgroup.eq_trivial_iff

added theorem multiplicative.simple_group_iff

added theorem simple_add_group_of_surjective

added theorem simple_group_of_surjective