chore(CategoryTheory/Limits): dualize existence of limits in Over to Under#38012

chrisflav wants to merge 1 commit intoleanprover-community:masterleanprover-community/mathlib4:masterfrom

chrisflav:limits-underchrisflav/mathlib4:limits-underCopy head branch name to clipboard