mathlib

31d55491 - docs(overview): nilpotent and presented groups (#8711)