Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-07-05 17:24 9d998338

View on Github →

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

Estimated changes