[Merged by Bors] - chore(Mathlib/CategoryTheory/Limits): add iff_of_natIso versions of variants of preservesLimits_of_natIso#39667

mathlib-splicebot[bot] wants to merge 1 commit into

masterleanprover-community/mathlib4:masterfrom

splice-bot/pr-39572-Mathlib-CategoryTheory-Limits-Preserves-Basic.lean-c4b3a1f8a3-6qd2nu5leanprover-community/mathlib4_copy:splice-bot/pr-39572-Mathlib-CategoryTheory-Limits-Preserves-Basic.lean-c4b3a1f8a3-6qd2nu5Copy head branch name to clipboard