Theorem Subgroup.lowerCentralSeries_mono

Modification history

2026-05-28 16:48

Mathlib/GroupTheory/Nilpotent.lean

feat(GroupTheory): subgroup-valued lower central series (#39844) …

Added Subgroup.lowerCentralSeries_mono View on Github →