Theorem LieAlgebra.hasTrivialRadical_iff_no_abelian_ideals

Modification history