Cartan’s magic formula

On a smooth manifold, for any smooth vector field and a differential form , Where denotes the Lie derivative of with respect to , and denotes the interior product.

Proof

todo