Leibniz algebras can be seen as a non-commutative generalization of Lie algebras. Thus, it is common to see a lot of papers which topic is about a generalization of a classic theorem of Lie algebras to Leibniz algebras. For instance, (1) gives a generalization of Engel's theorem to Leibniz algebras.
Is there a survey of which known theorems of Lie algebras are still valid (and also not valid) for general Leibniz algebras? If not, could we make a community wiki to gather examples? I think it would be a nice idea to put these examples in the article of Wikipedia.
(1): Ayupov, Sh A., and B. A. Omirov. "On Leibniz algebras." Algebra and operator theory. Springer, 1998. 1-12.