The Stacks project

Remark 76.40.4. In Lemmas 76.40.2 and 76.40.3 the morphism $g : Z' \to Y$ is a composition of projective morphisms. Presumably (by the analogue for algebraic spaces of Morphisms, Lemma 29.37.8) there exists a $g$-ample invertible sheaf on $Z'$. If we ever need this, then we will state and prove this here.