Def CategoryTheory.Yoneda.ext

Modification history

2024-04-27 09:23

Mathlib/CategoryTheory/Yoneda.lean

chore(CategoryTheory): make `Functor.Full` a Prop (#12449) …

Modified CategoryTheory.Yoneda.ext View on Github →

2023-02-20 11:53

Mathlib/CategoryTheory/Yoneda.lean

feat port/CategoryTheory.Yoneda (#2299)

Added CategoryTheory.Yoneda.ext View on Github →