Theorem LieAlgebra.abelian_radical_of_semisimple

Modification history