Def CategoryTheory.yonedaOpCompYonedaObj

Modification history

2024-06-30 17:16

Mathlib/CategoryTheory/Yoneda.lean

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

Added CategoryTheory.yonedaOpCompYonedaObj View on Github →