Lie-Ableitung
The Lie derivative of a differential form.