mathlib3

0f1b4654 - feat(category_theory/limits): the isomorphism expressing preservation of chosen limits (#2192)

feat(category_theory/limits): the isomorphism expressing preservation of chosen limits (#2192) * feat(category_theory/limits): the isomorphism expressing preservation of chosen limits * Update src/category_theory/limits/limits.lean Co-authored-by: Johan Commelin <johan@commelin.net> Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>