The Stacks project

Proof. For an object $\alpha : P \to B$ of the category $\mathcal{C}$ the module $\Omega _{P/A}$ is a free $P$-module. Thus $\Omega _{\mathcal{O}/A}$ is a flat $\mathcal{O}$-module. Hence $Li^*\Omega _{\mathcal{O}/A} = i^*\Omega _{\mathcal{O}/A}$ is the sheaf of $\underline{B}$-modules which associates to $\alpha : P \to A$ the $B$-module $\Omega _{P/A} \otimes _{P, \alpha } B$. By Lemma 92.4.2 we see that the right hand side is computed by the value of this sheaf on the standard resolution which is our definition of the left hand side (Definition 92.3.2). $\square$