ScalingStacks

Proof. The first claim follows from A.2.4.3.9 by passing to maximal $\infty$-subgroupoids. The second claim follows from A.2.4.3.11. ∎