Lemma 21.34.4. Let $(\mathcal{C}, \mathcal{O})$ be a ringed site. The bifunctor $R\mathop{\mathcal{H}\! \mathit{om}}\nolimits (- , -)$ transforms distinguished triangles into distinguished triangles in both variables.

Proof. This follows from the observation that the assignment

$(\mathcal{L}^\bullet , \mathcal{M}^\bullet ) \longmapsto \mathop{\mathcal{H}\! \mathit{om}}\nolimits ^\bullet (\mathcal{L}^\bullet , \mathcal{M}^\bullet )$

transforms a termwise split short exact sequences of complexes in either variable into a termwise split short exact sequence. Details omitted. $\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).