mathlib3
779d8363 - feat(category_theory): variants of Yoneda are fully faithful (#11950)

Commit

4 years ago

feat(category_theory): variants of Yoneda are fully faithful (#11950)

Author

TwoFX

TwoFX

Parents

Loading