mathlib

bb9216c0 - feat(category_theory/opposites): iso.unop (#7400)