mathlib

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

chore(algebra/Module/monoidal): add the simp lemmas for unitors and associativity (#2196) * feat(algebra/category/Module/monoidal): simp lemmas * oops * depressingly easy * order of arguments Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>