Theorem CategoryTheory.Functor.descOfIsLeftKanExtension_fac

Modification history