Theorem LieAlgebra.radical_eq_top_of_isSolvable

Modification history

2023-10-19 21:13
Mathlib/Algebra/Lie/Solvable.lean
feat: miscellaneous Lie algebra lemmas (#7782)
Added LieAlgebra.radical_eq_top_of_isSolvableView on Github →