Theorem CategoryTheory.Functor.isLeftDerivedFunctor_iff_of_iso

Modification history