Theorem LieAlgebra.hasTrivialRadical_of_no_solvable_ideals

Modification history