mathlib3

e294500e - feat(category_theory/monoidal): transport rigid structure over an equivalence (#13736)