Lie derivative
The Nijenhuis–Lie derivative along "K" ∈ Ωk("M", T"M") is defined by