mathlib3

828ef48c - fix(category_theory/monoidal): increase class search depth in coherence tactic (#13413)

fix(category_theory/monoidal): increase class search depth in coherence tactic (#13413) There were two places, not just one, where the class search depth needs to be increased. Co-authored-by: Scott Morrison <scott.morrison@gmail.com>