monoidal): add the simp lemmas for unitors and associativity
#2196

Merged

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

mergify merged 5 commits into master from monoidal_Module_simp

feat(algebra/category/Module/monoidal): simp lemmas

f51e926b

oops

a857c3a2

depressingly easy

cce526f8

order of arguments

ef6ed864

jcommelin approved these changes on 2020-03-19

jcommelin added ready-to-merge

Merge branch 'master' into monoidal_Module_simp

6876a577

mergify merged c66c4afa into master 5 years ago

mergify deleted the monoidal_Module_simp branch 5 years ago

Reviewers

jcommelin

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone