mathlib3

7201c3b4 - feat(category_theory/limits): more opposite-related transformations of cones (#12165)