リー微分
The Lie derivative of a differential form.