mathlib3

8e3e79a2 - feat(category_theory/pi): extract components of isomorphisms of indexed objects (#6086)