Remark 73.25.2. Let $R$ be a ring. Let $X$ be an algebraic space of finite presentation over $R$. Let $\mathcal{G}$ be a finitely presented $\mathcal{O}_ X$-module flat over $R$ with support proper over $R$. By Lemma 73.25.1 there exists a finite complex of finite projective $R$-modules $M^\bullet $ such that we have

functorially in the $R$-algebra $R'$.

## Comments (0)