# Commit 2021-10-11 04:03 ef46da81

View on Github →feat(category_theory/*): Curried yoneda lemma (#9579) Provided curried versions of the Yoneda lemma when the category is small.

Mathlib v3 is deprecated. Go to Mathlib v4

feat(category_theory/*): Curried yoneda lemma (#9579) Provided curried versions of the Yoneda lemma when the category is small.