Theorem LieAlgebra.IsKilling.isSemisimple_ad_of_mem_isCartanSubalgebra

Modification history