mathlib3

ff66d924 - chore(category_theory/limits): facts about opposites of limit cones (#4250)

chore(category_theory/limits): facts about opposites of limit cones (#4250) Simple facts about limit cones and opposite categories. Co-authored-by: Scott Morrison <scott.morrison@gmail.com>