Theorem CategoryTheory.Functor.hasLeftDerivedFunctor_iff

Modification history