mathlib

b905eb66 - fix(group_theory/nilpotent): don’t unnecessarily `open_locale classical` (#11779)