mathlib3
feat(algebra/free): free magma, semigroup, monoid
#735

Merged

feat(algebra/free): free magma, semigroup, monoid #735

robertylewis merged 3 commits into master from free

kckennylau force pushed from b5f406dd to 6e65f283 7 years ago

kckennylau force pushed from 6e65f283 to 371f5541 7 years ago

kckennylau force pushed from 371f5541 to 8b9da306 7 years ago

kckennylau force pushed from 8b9da306 to 427a8bf4 7 years ago

jcommelin dismissed these changes on 2019-02-18

cipher1024 assigned

digama0 7 years ago

kckennylau force pushed from 427a8bf4 to 9bae068e 7 years ago

feat(algebra/free): free magma, semigroup, monoid

02b3b717

kckennylau force pushed from 9bae068e to 02b3b717 7 years ago

Merge branch 'master' into free

1e1fdc46

digama0 dismissed these changes on 2019-04-11

digama0 added ready-to-merge

Merge branch 'master' into free

e140b876

robertylewis requested a review 7 years ago

mergify dismissed their stale review 7 years ago

Pull request has been modified.

mergify dismissed their stale review 7 years ago

Pull request has been modified.

robertylewis approved these changes on 2019-04-12

robertylewis merged 3fe449e1 into master 7 years ago

mergify deleted the free branch 7 years ago

Reviewers

robertylewis

digama0

jcommelin

Assignees

digama0

Labels

ready-to-merge

Milestone

No milestone