Theorem LieAlgebra.abelian_radical_of_hasTrivialRadical

Modification history