Lie derivative
The Lie derivative commutes with contraction and the exterior derivative on differential forms.