Problem + Problem 2.43 Let $f$ denote a diffeomorphism of the $C^{\infty}$ manifold $M$. Prove that $$ i_{X}\left(f^{*} \alpha\right)=f^{*}\left(i_{f \cdot X} \alpha\right), \quad X \in \mathfrak{X}(M), \alpha \in \Lambda^{*} M . $$ Worked solution Sign in to view