mathlib

a09dc9f2 - cleanup(category_theory/cones): tidying up, after making opposites work better (#675)