mathlib
7b253dd5 - feat(group_theory/subgroup): lemmas for normal subgroups of subgroups (#7271)

Commit

4 years ago

feat(group_theory/subgroup): lemmas for normal subgroups of subgroups (#7271) Co-authored-by: Hanting Zhang <76727734+acxxa@users.noreply.github.com>

Author

winston-h-zhang

Parents