mathlib

293287d5 - chore(category_theory/over/limits): change instance to def (#3281)

chore(category_theory/over/limits): change instance to def (#3281) Having this as an instance causes confusion since it's a different terminal object to the one inferred by the other limit constructions in the file.