Lemma 21.34.3. Let $(\mathcal{C}, \mathcal{O})$ be a ringed site. Let $K, L$ be objects of $D(\mathcal{O})$. The construction of $R\mathop{\mathcal{H}\! \mathit{om}}\nolimits (K, L)$ commutes with restrictions, i.e., for every object $U$ of $\mathcal{C}$ we have $R\mathop{\mathcal{H}\! \mathit{om}}\nolimits (K|_ U, L|_ U) = R\mathop{\mathcal{H}\! \mathit{om}}\nolimits (K, L)|_ U$.

Proof. This is clear from the construction and Lemma 21.21.1. $\square$

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).