Lie derivative
Relation to Lie derivative.