mathlib
0b485703 - feat(group_theory/nilpotent): add subgroups of nilpotent group are nilpotent (#8854)

Commit

4 years ago

feat(group_theory/nilpotent): add subgroups of nilpotent group are nilpotent (#8854) Co-authored-by: ineswright <52750254+ineswright@users.noreply.github.com>

Author

ineswright

Parents

1aaff8da

mathlib 0b485703 - feat(group_theory/nilpotent): add subgroups of nilpotent group are nilpotent (#8854)

mathlib
0b485703 - feat(group_theory/nilpotent): add subgroups of nilpotent group are nilpotent (#8854)