李导数
Nijenhuis–Lie derivative.