Theorem LieAlgebra.center_eq_bot_of_semisimple

Modification history