mathlib3
c98d5bb0 - feat(category_theory/limits): yoneda preserves limits (#5439)

Commit

5 years ago

feat(category_theory/limits): yoneda preserves limits (#5439) yoneda and coyoneda preserve limits

Author

b-mehta

Parents