ScalingStacks

Corollary 5.11. A map of stable $\infty$-categories ${\mathcal{A}}\mathchoice{\longrightarrow}{\rightarrow}{\rightarrow}{\rightarrow}{\mathcal{B}}$ is an equivalence if and only if $\Ho({\mathcal{A}})\mathchoice{\longrightarrow}{\rightarrow}{\rightarrow}{\rightarrow}\Ho({\mathcal{B}})$ is an equivalence.