ScalingStacks

Proof. The $\infty$-category of idempotent-complete stable $\infty$-categories is a localizing subcategory of the $\infty$-category of stable $\infty$-categories, and idempotent-completion is an accessible functor as the inclusion $\Psi_{\tri}\mathchoice{\longrightarrow}{\rightarrow}{\rightarrow}{\rightarrow}\Psi_{\perf}$ preserves filtered colimits. ∎