Lemma 47.14.3. Let $R \to A$ and $R \to R'$ be ring maps and $A' = A \otimes _ R R'$. Assume

1. $A$ is perfect as an $R$-module,

2. $A$ and $R'$ are tor independent over $R$.

Then (47.14.0.1) is an isomorphism for all $K \in D(R)$.

Proof. Follows from Lemma 47.14.1 and More on Algebra, Lemma 15.98.3 part (1). $\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).