Lie-Ableitung
Nijenhuis–Lie derivative.