It seems to me that in Travaux de Griffiths (equation 3.2.1), Deligne casually mentions a theorem along the following lines:
Let $f: X \to B$ be a proper map of topological spaces. Suppose $\mathcal{A}$ denotes one of the constant sheaves $\mathbb{Z}, \mathbb{C}$ (on any space). Let $\mathcal{B}$ be an $\mathcal{A}$-module on $B$. Then there exists a canonical isomorphism $\mathcal{B} \otimes_{\mathcal{A}_B} R^n f_* (\mathcal{A}_X) \to R^n f_* (f^{-1} \mathcal{B}).$
Where does this morphism come from in the first place (presumably adjointness of $f_*$, $f^{-1}$?), and why is it an isomorphism? It feels to me like this should be a standard fact (but I haven't come across it so far), any reference would be appreciated.
Note: in the context of this article, $X$, $B$ are complex manifolds and $f$ is smooth and submersive. My gut feeling is that this should not matter here.
Thanks in advance, Tom