Theorem Group.IsPerfect.derivedSeries_eq_top

Modification history

2026-10-17 13:25
Mathlib/GroupTheory/IsPerfect.lean
chore(GroupTheory/Solvable): to_additivize file (#43108) …
Modified Group.IsPerfect.derivedSeries_eq_topView on Github →
2026-06-24 00:45
Mathlib/GroupTheory/IsPerfect.lean
feat(GroupTheory/IsPerfect): Grün's lemma (#39956) …
Added Group.IsPerfect.derivedSeries_eq_topView on Github →