Theorem LieAlgebra.isSemisimple_iff_no_abelian_ideals

Modification history