Theorem LieAlgebra.isSolvable_of_killingForm_apply_lie_eq_zero

Modification history

2026-05-07 09:23
Mathlib/Algebra/Lie/CartanCriterion.lean
feat: use Cartan's criterion for semisimplicty to drop redundant hypotheses (#38760) …
Deleted LieAlgebra.isSolvable_of_killingForm_apply_lie_eq_zeroView on Github →
2026-04-30 10:17
Mathlib/Algebra/Lie/CartanCriterion.lean
feat: Cartan's criterion for semisimplicity (#38749) …
Added LieAlgebra.isSolvable_of_killingForm_apply_lie_eq_zeroView on Github →