Theorem LieAlgebra.hasTrivialRadical_iff_no_solvable_ideals

Modification history