Theorem CategoryTheory.Presheaf.isLeftKanExtension_along_uliftYoneda_iff

Modification history