Fix the cursed lemma in duality

Thanks to Bogdan
https://stacks.math.columbia.edu/tag/0BZY#comment-5102

duality.tex

@@ -4681,7 +4681,8 @@ \section{Base change for upper shriek}
 }
 $$
 be a cartesian diagram of $\textit{FTS}_S$.
-Let $E \in D^+_\QCoh(\mathcal{O}_Y)$.
+Let $E \in D^+_\QCoh(\mathcal{O}_Y)$ be an object
+such that $Lg^*E$ is in $D^+(\mathcal{O}_Y)$.
 If $f$ is flat, then $L(g')^*f^!E$ and $(f')^!Lg^*E$
 restrict to isomorphic objects of $D(\mathcal{O}_{U'})$
 for $U' \subset X'$ affine open mapping into affine opens of $Y$, $Y'$, and $X$.