Theorem LieAlgebra.subsingleton_of_semisimple_lie_abelian

Modification history