Theorem CategoryTheory.Functor.HasLeftDerivedFunctor.hasRightKanExtension

Modification history