Lie derivative
Nijenhuis–Lie derivative.