Pullback of a differential form (${\varphi }^{\ast }$)

A smooth map $\varphi :M\to N$ pulls a differential form on $N$ back to one on $M$ by applying $d\varphi$ to each vector argument. Pullback commutes with wedge products and the exterior derivative.