Theorem CategoryTheory.Presheaf.isLeftKanExtension_along_yoneda_iff

Modification history