Past exam of the mathematics course of the University of Cambridge / 2014 / iii / Paper 50 / 1 / b / ii

A type $(0,s)$ covariant tensor is a multilinear form on $s$ vectors. For arbitrary $V_1,\dots ,V_s\in T_p\mathcal{M}$, the pullback of a covariant tensor isProjection of all covariant slots means $(P\omega )(X_1,\dots ,X_s)=\omega (P{X}_1,\dots ,P{X}_s)$. Since every pushed-forward vector is already tangential,Equality on all arguments proves ${\varphi }^{\ast }\omega ={\varphi }^{\ast }(P\omega )$. No antisymmetry is needed: this holds for every covariant tensor, not only for differential forms.