mathlib3

feat(category_theory): define `iso.conj` and friends

#1381

Merged