mathlib3

b2f8c4c0 - feat(category_theory/limits): reflects limit if reflects iso and preserves (#5213)