All Questions

Suppose $f:X\to Y$ is a proper smooth morphism of two analytic varieties over $\mathbb C$. Let $\mathbb L$ be a local system on $X$, I want to ask do we have $R^if_*(\mathbb L)\otimes \mathcal O_Y\...