Rmove RHom

Thanks to ZL
https://stacks.math.columbia.edu/tag/0FKU#comment-9051

cohomology.tex

@@ -7181,9 +7181,9 @@ \section{Cup product}
 Here is another way to think of the cup product of $\xi$ and $\eta$.
 Namely, we can write
 $$
-R\Gamma(X, K) = R\Hom_X(\mathcal{O}_X, K)
+R\Gamma(X, K) = \Hom_{D(\mathcal{O}_X)}(\mathcal{O}_X, K)
 \quad\text{and}\quad
-R\Gamma(X, M) = R\Hom_X(\mathcal{O}_X, M)
+R\Gamma(X, M) = \Hom_{D(\mathcal{O}_X)}(\mathcal{O}_X, M)
 $$
 because $\Hom(\mathcal{O}_X, -) = \Gamma(X, -)$.
 Thus $\xi$ and $\eta$ are the ``same'' thing as maps