Theorem Subgroup.derivedSeries_le_lowerCentralSeries_top

Modification history

2026-10-20 17:59
Mathlib/GroupTheory/Nilpotent/LowerCentralSeries.lean
chore(GroupTheory/Nilpotent): split off material on lower central series (#43348) …
Added Subgroup.derivedSeries_le_lowerCentralSeries_topView on Github →