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