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

Commit

3 years ago

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

Author

TwoFX

TwoFX

Parents

Loading