Theorem LieDerivation.Killing.ad_mem_orthogonal_of_mem_orthogonal

feat: Cartan subalgebras contain only semisimple elements if the Killing form is non-singular and the coefficients are a perfect field. (#12712) …

feat(Algebra/Lie): prove derivations are inner in finite-dimensional Killing Lie algebra (#12250) …