Situation 76.2.1. Let $S$ be a scheme. Let $f : X \to Y$ be a finite type, decent1 morphism of algebraic spaces over $S$. Also, $\mathcal{F}$ is a finite type quasi-coherent $\mathcal{O}_ X$-module. Finally $y \in |Y|$ is a point of $Y$.

[1] Quasi-separated morphisms are decent, see Decent Spaces, Lemma 67.17.2. For any morphism $\mathop{\mathrm{Spec}}(k) \to Y$ where $k$ is a field, the algebraic space $X_ k$ is of finite presentation over $k$ because it is of finite type over $k$ and quasi-separated by Decent Spaces, Lemma 67.14.1.

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).