Theorem CategoryTheory.Functor.isLeftDerivedFunctor_iff_isIso_leftDerivedLift

Modification history