Mathlib v3 is deprecated. Go to Mathlib v4

Theorem category_theory.yoneda_pairing_map

Modification history

2018-09-11 10:07

category_theory/yoneda.lean

feat(category_theory): Yoneda, basic facts about natural isomorphisms, and an extensionality lemma using Yoneda lemma (#326) …

Added category_theory.yoneda_pairing_map View on Github →