mathlib documentation

category_theory.monoidal.rigid.of_equivalence

Transport rigid structures over a monoidal equivalence. #