Lemma 13.19.8. Let $\mathcal{A}$ be an abelian category. Let $P^\bullet$ be bounded above complex consisting of projective objects. Let $L^\bullet \in K(\mathcal{A})$. Then

$\mathop{\mathrm{Mor}}\nolimits _{K(\mathcal{A})}(P^\bullet , L^\bullet ) = \mathop{\mathrm{Mor}}\nolimits _{D(\mathcal{A})}(P^\bullet , L^\bullet ).$

Proof. Dual to Lemma 13.18.8. $\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).