Theorem LieAlgebra.hasCentralRadical_of_radical_le

Modification history