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 →