Lemma 106.14.3. Let p : \mathcal{X} \to Y be a morphism from an algebraic stack to an algebraic space. Assume
\mathcal{I}_\mathcal {X} \to \mathcal{X} is finite,
p is proper, and
Y is locally Noetherian.
Let f : \mathcal{X} \to M be the moduli space constructed in Theorem 106.13.9. Then M \to Y is proper.
Comments (0)