mathlib3
d968a61d - feat(category_theory/limits): yoneda reflects limits (#5447)

Commit

5 years ago

feat(category_theory/limits): yoneda reflects limits (#5447) yoneda and coyoneda jointly reflect limits

Author

b-mehta

Parents