ScalingStacks

Proof of Proposition 3.10. The first assertions were proved above. Since base change is local in the target, one can prove the final statement for an arbitrary $Y^{\prime}\rightarrow Y$ by choosing a cover of $Y^{\prime}$ by an affine $\Spec A\rightarrow Y^{\prime}$, thus reducing to the case which was proved above. ∎