 Cartan's magic formula

Cartan's magic formula is ${\mathcal{L}}_X=d{\iota }_X+{\iota }_{X}d$. It immediately implies that the Lie derivative commutes with the exterior derivative.