Proof.
This is an immediate corollary of lemma 7.2.9 applied to the adjunction ([00HQ]). ◻
Yu Leon Liu, Aaron Mazel-Gee, David Reutter, Catharina Stroppel, Paul Wedrich
Original source: arXiv:2401.02956v2
Chapter overview
Read the whole chapter
Original source · 2401.02956v2