mathlib

2b98d47a - feat(category_theory): add `reassoc` annotations (#1558)

feat(category_theory): add `reassoc` annotations (#1558) * feat(category_theory): add `reassoc` annotations * Update reassoc_axiom.lean * Update src/tactic/reassoc_axiom.lean Co-Authored-By: Scott Morrison <scott@tqft.net> * Update src/tactic/reassoc_axiom.lean Co-Authored-By: Scott Morrison <scott@tqft.net> * Update src/tactic/reassoc_axiom.lean Co-Authored-By: Scott Morrison <scott@tqft.net> * Update src/tactic/reassoc_axiom.lean * Update src/tactic/reassoc_axiom.lean * Update reassoc_axiom.lean * Update tactics.lean * Update tactics.md * Update reassoc_axiom.lean