mathlib

92c64c45 - feat(group_theory/nilpotent): add upper_central_series_eq_top_iff_nilpotency_class_le (#11670)