feat(category_theory/limits): strengthen simp lemma (#5326)
feat(category_theory/limits): strengthen simp lemma (#5326)

Makes a simp lemma slightly stronger



leanprover-community/mathlib,leanprover-community/mathlib