Skip to main content
1 of 2

It is even finitely presented

See Lemma 14.1.27 of the book Derived Categories