Lemma 37.13.13. Consider a cartesian diagram of schemes

$\xymatrix{ X' \ar[d] \ar[r]_{g'} & X \ar[d] \\ Y' \ar[r] & Y }$

If $Y' \to Y$ is flat, then the canonical map $(g')^*\mathop{N\! L}\nolimits _{X/Y} \to \mathop{N\! L}\nolimits _{X'/Y'}$ is a quasi-isomorphism.

Proof. By Lemma 37.13.2 this follows from Algebra, Lemma 10.133.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).