Let's say you have a vector space $V$ and a vector space $W$ over the same field $k$. Then, according to a huge pile of books on representation theory I read, there is an <i>obvious</i> isomorphism $V^\ast\otimes_k W \cong \mathrm{Hom}_k(V,W)$, where $V^\ast=\mathrm{Hom}_k(V,k)$. I concur, it's not hard to write down, but then <b>why</b> don't they just write it down? It is given by \[ \begin{array}{rcl} \phi: V^\ast\otimes_k W &\longrightarrow& \mathrm{Hom}_k(V,W) \\ f\otimes w &\longmapsto& (v\mapsto f(v)w), \end{array}\] when we assume $W$ to be finite-dimensional. <a href="https://blag.nullteilerfrei.de/2012/04/12/the-obvious-tensorhom-identification/#more-687" class="more-link">Do you want to see the proof?</a>