Mathlib v3 is deprecated. Go to Mathlib v4

Theorem category_theory.coyoneda.naturality

Modification history

2019-07-03 18:10
src/category_theory/yoneda.lean
feat(category_theory/yoneda): coyoneda lemmas (#1172) …
Added category_theory.coyoneda.naturalityView on Github →