Lemma 15.58.17. Let $R$ be a ring. Let $K^\bullet , L^\bullet , M^\bullet $ be complexes of $R$-modules. There is a canonical isomorphism

\[ (K^\bullet \otimes _ R^\mathbf {L} L^\bullet ) \otimes _ R^\mathbf {L} M^\bullet = K^\bullet \otimes _ R^\mathbf {L} (L^\bullet \otimes _ R^\mathbf {L} M^\bullet ) \]

functorial in all three complexes.

## Comments (0)

There are also: