Theorem Subgroup.comap_upperCentralSeries

Modification history

2026-05-18 08:56

Mathlib/GroupTheory/Nilpotent.lean

chore(GroupTheory/Nilpotent): to_additivize file (#38753) …

Modified Subgroup.comap_upperCentralSeries View on Github →

2026-04-29 17:24

Mathlib/GroupTheory/Nilpotent.lean

chore(GroupTheory/Nilpotent): move declarations into namespace (#37175) …

Added Subgroup.comap_upperCentralSeries View on Github →