Proof. This follows from Lemma 91.4.1 which tells us $L\pi _!(\pi ^{-1}M)$ is computed by $(\pi ^{-1}M)(P_\bullet , \epsilon )$ which is the constant simplicial object on $M$. $\square$

There are also:

• 2 comment(s) on Section 91.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).