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