mathlib3

cb3c8448 - feat(category_theory/limits/*): Filtered colimits preserves finite limits (#9522)

feat(category_theory/limits/*): Filtered colimits preserves finite limits (#9522) Restated `category_theory.limits.colimit_limit_to_limit_colimit_is_iso` in terms of limit preserving.