Theorem LieAlgebra.IsKilling.ker_traceForm_eq_bot_of_isCartanSubalgebra

Modification history