mathlib

b7d176e5 - feat(category_theory/cones): some isomorphisms relating operations (#4536)