Higher Topos Theory › Section 6.7: Coherence
Corollary 6.115.
If \(T\) is locally \(n\)-coherent, then \(T_{\leq n-1}\) is compactly generated.