Theorem CategoryTheory.Functor.isRightDerivedFunctor_iff_isIso_rightDerivedDesc

Modification history