Lemma 37.16.8. Let $f : X \to S$ be a morphism of schemes which is locally of finite presentation. Let $\mathcal{F}$ be a finitely presented $\mathcal{O}_ X$-module flat over $S$. Then the set

is open in $X$ and its formation commutes with arbitrary base change $S' \to S$.

## Comments (0)