There is a canonical isomorphism
\text{Tot}(L^\bullet \otimes _ R M^\bullet ) \to \text{Tot}(M^\bullet \otimes _ R L^\bullet )which uses the sign (-1)^{pq} on the summand L^ p \otimes _ R M^ q. See Section 15.58.
There is a canonical isomorphism
which uses the sign (-1)^{pq} on the summand L^ p \otimes _ R M^ q. See Section 15.58.
Comments (0)