2026-03-03 13:11
Mathlib/CategoryTheory/Limits/Presheaf.lean
feat(CategoryTheory/Elements): functors to types are colimits of corepresentable functors (#35759) …
Added CategoryTheory.Functor.Elements.shrinkYoneda_map_app_coconeπOpCompShrinkYonedaObj_ι_app