リー微分
The Lie derivative commutes with contraction and the exterior derivative on differential forms.