Commit 2026-05-28 22:31 200a08b7
View on Github →fix(GroupTheory/Nilpotent): add back deprecations deleted in #39844 (#39985)
These were deleted in #39844 but I don't think there was a reason to delete them.
Also add a deprecation for AddSubgroup.lowerCentralSeries_one, which was renamed with no deprecation.