mathlib3
b87e193d - fix(category_theory/monoidal): improve hygiene in coherence tactic (#13507)

Commit

3 years ago

fix(category_theory/monoidal): improve hygiene in coherence tactic (#13507) Co-authored-by: Scott Morrison <scott.morrison@gmail.com>

Author

kim-em

Parents