mathlib

6fbcc04a - feat(tactic/reassoc_axiom): produce associativity-friendly lemmas in category theory (#1341)