mathlib

56dbb604 - feat(category_theory/opposites): nat_trans.remove_unop (#12147)