Commit 2020-07-05 10:13 293287d5

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.