Theorem isSolvable_iff_commutator_lt

Modification history

2024-12-20 09:05
Mathlib/GroupTheory/Solvable.lean
feat(GroupTheory/Solvable): Prove `isSolvable_iff_commutator_lt` (#20107) …
Added isSolvable_iff_commutator_ltView on Github →