Lie derivative
For a linear connection formula_101, the Lie derivative along formula_9 is