Lemma 90.4.7. If $B$ is a polynomial algebra over the ring $A$, then $L_{B/A}$ is quasi-isomorphic to $\Omega _{B/A}[0]$.

There are also:

• 2 comment(s) on Section 90.4: Simplicial resolutions and derived lower shriek

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).