Skip to main content
2 of 2
added a non-proprietary reference
Todd Trimble
  • 53.3k
  • 6
  • 205
  • 322

It is even finitely presented

See Lemma 14.1.27 of the book Derived Categories (also available at the arXiv at https://arxiv.org/abs/1610.09640).