ScalingStacks

Proof. By Remark 8.1.1, we can assume $\xi$ is outgoing for $Z$. We will show that

(8.1.2)

the isomorphism of Lemma 8.1.2 is compatible with the differentials.

The proposition will follow immediately from (8.1.2).