Lemma 76.22.2. Let $S$ be a scheme. Let

be a cartesian diagram of algebraic spaces over $S$. Let $\mathcal{F}$ be a quasi-coherent $\mathcal{O}_ X$-module. Assume $g$ is flat, $f$ is locally of finite presentation, and $\mathcal{F}$ is locally of finite presentation. Then

is the inverse image of the open subset of Theorem 76.22.1 under the continuous map $|g'| : |X'| \to |X|$.

## Comments (0)