# 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 .