chore(category_theory/limits/over): granularity in forget preserving colimits (#2941)
chore(category_theory/limits/over): granularity in forget preserving colimits (#2941)

a bit more granularity for instances about forget preserving colimits





leanprover-community/mathlib,leanprover-community/mathlib