 Homotopy invariance of de Rham cohomology

Smoothly homotopic maps induce the same map on de Rham cohomology. Integrating Cartan's magic formula along a homotopy gives a cochain homotopy