Commit 2022-02-03 10:20 e39f617c

View on Github →

feat(category_theory/linear): compatibility of linear Yoneda (#11784)

Estimated changes