Theorem CategoryTheory.Functor.liftOfIsRightKanExtension_fac

Modification history