Theorem CategoryTheory.Functor.hasLeftDerivedFunctor_iff_of_iso

Modification history