Differentiable Manifolds/Tensor fields

Cartan derivative 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 .