mathlib3
chore(algebra/Module/monoidal): add the simp lemmas for unitors and associativity
#2196
Merged
Merged