mathlib3

66eddd8b - chore(algebra/category/Module/monoidal): Speed up the elaboration (#5383)

chore(algebra/category/Module/monoidal): Speed up the elaboration (#5383) This takes the elaboration time from ~5s to ~2.5s for associator_naturality, from ~90s to 5s for pentagon, and from ~14s to ~8s for `triangle`.