Def CategoryTheory.yonedaLemma

Modification history

2024-05-01 00:06

Mathlib/CategoryTheory/Yoneda.lean

feat(CategoryTheory/Yoneda): dualize yoneda lemma (#12041) …

Modified CategoryTheory.yonedaLemma View on Github →

2023-04-24 22:04

Mathlib/CategoryTheory/Yoneda.lean

chore: tidy various files (#3629)

Modified CategoryTheory.yonedaLemma View on Github →

2023-02-20 11:53

Mathlib/CategoryTheory/Yoneda.lean

feat port/CategoryTheory.Yoneda (#2299)

Added CategoryTheory.yonedaLemma View on Github →