mathlib

6ed879c3 - feat(category_theory/limits): the isomorphism expressing preservation of chosen limits