Assume $\phi: M\rightarrow N$ is smooth. Let $\phi^*(TN)$ be the pullback bundle of $TN$ by $\phi$. Define $T\phi:TM\rightarrow \phi^*(TN)$ as follows: $T\phi(m,v)=(m,d\phi_m(v)) $.
We also have the corresponding bundle morphism (covering $\phi$), $\bar \phi : \phi^*(TN)\rightarrow TN$, which I think is smooth by the construction of the smooth structure on the pullbak bundle $\phi^*(TN)$.
So, we have a composition of maps which satisfies: $\bar \phi (T\phi)=d\phi$ where $d\phi:TM\rightarrow TN$ is the usual differential map between the corresponding tangent bundles induced by $\phi$.
I know that $d\phi,\bar \phi$ are smooth. How can I show $T\phi$ is smooth?
I would also be happy to find some reference on this subject (I am reading Lee's Intro' to smooth manifolds, and he doesn't treat pullbacks of vector bundles).
$\require{AMScd}$ \begin{CD} TM @>T\phi>> \phi^*(TN)\ @> \bar \phi>> TN \end{CD}