Theorem derivedSeries_antitone

Modification history

2025-06-02 17:11

Mathlib/GroupTheory/Solvable.lean

feat(GroupTheory): Add some results about `derivedSeries` (#25342) …

Added derivedSeries_antitone View on Github →