mathlib3

badad3b3 - Fix category_theory/limits/opposites