Theorem LieAlgebra.abelian_radical_iff_solvable_is_abelian

Modification history

2023-06-05 10:52
Mathlib/Algebra/Lie/Semisimple.lean
feat: port Algebra.Lie.Semisimple (#4680)
Added LieAlgebra.abelian_radical_iff_solvable_is_abelianView on Github →