mathlib3
feat(category_theory): functions to convert is_lawful_functor and is_…
#1258

Merged

feat(category_theory): functions to convert is_lawful_functor and is_… #1258

mergify merged 4 commits into master from types_monad

feat(category_theory): functions to convert is_lawful_functor and is_…

f5d62fd6

johoelzl requested a review 7 years ago

kim-em commented on 2019-07-23

jcommelin commented on 2019-07-24

feat(category): add mjoin_map_pure, mjoin_pure to the simpset (and us…

02351dbf

Fix typo

169771ac

johoelzl force pushed from a9eb72bc to 169771ac 6 years ago

jcommelin approved these changes on 2019-07-24

jcommelin added ready-to-merge

Merge branch 'master' into types_monad

6734b9c6

mergify merged ed579163 into master 6 years ago

mergify deleted the types_monad branch 6 years ago

Reviewers

jcommelin

kim-em

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone