ScalingStacks

Proof. Any autoequivalence preserves all colimits, in particular the compositional pushouts. Moreover by Lemma 4.8, every autoequivalence $F$ restricts to an autoequivalence of $\mathbb{G}_{n}$, and hence the assumptions of the previous lemma are met.

∎