Dévissage for Algebraic K-theory of Small Stable $\mathrm{\infty }$-categories

In this article, we extend the theorem of heart\cite{Barwick_2015}, which implies Quillen’s dévissage theorem by \cite{Efimov2025}, to generic small stable $\mathrm{\infty }$-categories. To be precise, we establish a necessary and sufficient condition under when an exact functor between stable $\mathrm{\infty }$-categories induces isomorphisms of non-negative $K$-groups when this exact functor satisfies the dévissage condition.