The Stacks project

Proof. It is enough to show that $\mathcal{P} \otimes _\mathcal {A} \mathcal{N} \to \mathcal{P} \otimes _\mathcal {A} \mathcal{N}'$ is an isomorphism on cohomology sheaves for any good differential graded $\mathcal{A}$-module $\mathcal{P}$. To do this, let $\mathcal{N}''$ be the cone on the map $\mathcal{N} \to \mathcal{N}'$ as a left differential graded $\mathcal{A}$-module, see Definition 24.22.2. (To be sure, $\mathcal{N}''$ is a bimodule too but we don't need this.) By functoriality of the tensor construction (it is a functor of differential graded categories) we see that $\mathcal{P} \otimes _\mathcal {A} \mathcal{N}''$ is the cone (as a complex of $\mathcal{O}$-modules) on the map $\mathcal{P} \otimes _\mathcal {A} \mathcal{N} \to \mathcal{P} \otimes _\mathcal {A} \mathcal{N}'$. Hence it suffices to show that $\mathcal{P} \otimes _\mathcal {A} \mathcal{N}''$ is acyclic. This follows from the fact that $\mathcal{P}$ is good and the fact that $\mathcal{N}''$ is acyclic as a cone on a quasi-isomorphism. $\square$