Presheaf

THanks to Minsik Han
https://stacks.math.columbia.edu/tag/007X#comment-5085

sheaves.tex

@@ -1495,8 +1495,8 @@ \section{Sheafification}
 \prod\nolimits_{v \in V} \mathcal{F}_v
 $$
 maps elements of $\mathcal{F}^{\#}(U)$ into $\mathcal{F}^{\#}(V)$.
-In other words, we get the structure of a presheaf of sets
-on $\mathcal{F}^{\#}$.
+Using these maps as the restriction mappings, we turn $\mathcal{F}^\#$
+into a presheaf of sets on $X$.
 
 \medskip\noindent
 Furthermore, the map $\mathcal{F}(U) \to \prod_{u \in U} \mathcal{F}_u$