ScalingStacks

Theorem 4.4.15. The data $(\Delta_{\lambda}{\mathcal{W}},E,\tau)$ is an idempotent-complete strongly pretriangulated $2$-representation.