Go back to the tag's page.
Split out a lemma in derived
Tags: Added new tags
Formal statement on adjointness derived functors This actually clarifies and simplifies things