Def CategoryTheory.coyonedaCompYonedaObj

Modification history

2024-06-30 17:16

Mathlib/CategoryTheory/Yoneda.lean

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

Added CategoryTheory.coyonedaCompYonedaObj View on Github →