mathlib3

106bd3be - feat(group_theory/nilpotent): add nilpotent groups (#8538)

feat(group_theory/nilpotent): add nilpotent groups (#8538) We make basic definitions of nilpotent groups and prove the standard theorem that a group is nilpotent iff the upper resp. lower central series reaches top resp. bot.