feat(category_theory/limits): reflecting limits of isomorphic diagram (#7674)
feat(category_theory/limits): reflecting limits of isomorphic diagram (#7674)






leanprover-community/mathlib,leanprover-community/mathlib