Theorem lowerCentralSeries_prod

Modification history

2026-04-29 17:24

Mathlib/GroupTheory/Nilpotent.lean

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

Deleted lowerCentralSeries_prod View on Github →

2023-05-31 06:20

Mathlib/GroupTheory/Nilpotent.lean

feat: port GroupTheory.Nilpotent (#4472)

Added lowerCentralSeries_prod View on Github →