Mathlib v3 is deprecated. Go to Mathlib v4

Def category_theory.linear_yoneda

Modification history

2021-07-05 17:24

src/category_theory/linear/yoneda.lean

feat(category_theory/linear/yoneda): A linear version of Yoneda. (#8199)

Added category_theory.linear_yoneda View on Github →