Differentiable Manifolds/Tensor fields

Definition (Cartan derivative):

Proof: For , it is clear that maps to . We claim that also . By linearity, we reduce to the case of a basis element, so suppose that with and . Then

By Clairaut's theorem and the anti-commutativity of , all terms cancel except the ones where , and there .