Theorem CategoryTheory.Functor.pointwiseRightKanExtension_lift_app

Modification history