ScalingStacks

Proof. Indeed, it follows from Corollary 4.12 that it is essentially surjective, and it follows from Lemma 4.5 that the action functor $\rho:(\mathbb{Z}/2)^{n}\to\Aut(\gaunt_{n})$ is fully faithful. ∎