Theorem LieAlgebra.subsingleton_of_hasTrivialRadical_lie_abelian

Modification history