Def CategoryTheory.largeCurriedYonedaLemma

Modification history

2024-06-30 17:16

Mathlib/CategoryTheory/Yoneda.lean

feat(CategoryTheory): two more versions of the Yoneda lemma (#14295)

Added CategoryTheory.largeCurriedYonedaLemma View on Github →