Theorem LieAlgebra.isSemisimple_iff_no_solvable_ideals

Modification history