Let be local coordinates on a manifold , with the canonical coframe and its dual frame . Write
Then
with the Einstein summation convention. This is the coordinate (connection-free) form of the formula for on 1-forms.
By the Cartan formula, . The two terms are
where in the second line and . Adding both contributions, the terms cancel and the formula follows.
See also Lie derivative of forms