The Stacks project

Situation 38.15.1. Here $S$, $X$ are schemes and $f : X \to S$ is a finite type morphism. Also, $\mathcal{F}$ is a finite type quasi-coherent $\mathcal{O}_ X$-module. Finally $s$ is a point of $S$.