mathlib3

feat(category_theory/opposites): add nat_iso.unop

#2132

Merged