Theorem LieAlgebra.hasTrivialRadical_iff_isKilling

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.hasTrivialRadical_iff_isKillingView on Github →
2026-04-30 10:17
Mathlib/Algebra/Lie/CartanCriterion.lean
feat: Cartan's criterion for semisimplicity (#38749) …
Added LieAlgebra.hasTrivialRadical_iff_isKillingView on Github →