Example 84.3.4. The statement of Lemma 84.3.3 is not true without applying the “coherator” $DQ_ Y$. See Duality for Schemes, Example 48.3.7.

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