mathlib3
feat(category_theory/limits): the isomorphism expressing preservation of chosen limits
#2192
Merged
Merged