Def CategoryTheory.largeCurriedCoyonedaLemma

Modification history

2024-06-30 17:16

Mathlib/CategoryTheory/Yoneda.lean

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

Added CategoryTheory.largeCurriedCoyonedaLemma View on Github →