Theorem LieAlgebra.radical_eq_top_of_isSolvable

Modification history

2025-01-08 05:27
Mathlib/Algebra/Lie/Solvable.lean
chore(Algebra/Lie): make IsNilpotent and IsSolvable independent of scalars (#20556)
Modified LieAlgebra.radical_eq_top_of_isSolvableView on Github →
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 →