Cartan's magic formula (source code)

= Cartan's magic formula
{c}
{wiki}

Cartan's magic formula is $\mathcal L_X=d\iota_X+\iota_Xd$. It immediately implies that the Lie derivative commutes with the exterior derivative.