Theorem CategoryTheory.Functor.isLeftDerivedFunctor_iff_isRightKanExtension

Modification history