Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-12-04 14:17 cc3c8aa5

View on Github →

feat(group_theory): generalize normal_map (#17808)

Estimated changes

Modified src/group_theory/quotient_group.lean

Modified src/group_theory/subgroup/basic.lean

added theorem subgroup.normal.map