mathlib3
refactor(category_theory): move small_category_of_preorder to preorder namespace
#932

Merged

refactor(category_theory): move small_category_of_preorder to preorder namespace #932

mergify merged 2 commits into master from small_category_of_preorder

chore(category_theory): move small_category_of_preorder to preorder n…

f2a4d213

kim-em requested a review 6 years ago

jcommelin approved these changes on 2019-04-15

cipher1024 assigned

rwbarton 6 years ago

jcommelin changed the title ~~chore(category_theory): move small_category_of_preorder to preorder namespace~~ refactor(category_theory): move small_category_of_preorder to preorder namespace 6 years ago

Merge branch 'master' into small_category_of_preorder

c469f59b

jcommelin added ready-to-merge

jcommelin dismissed these changes on 2019-04-30

mergify dismissed their stale review 6 years ago

Pull request has been modified.

ChrisHughes24 approved these changes on 2019-04-30

mergify merged c8a2aa95 into master 6 years ago

mergify deleted the small_category_of_preorder branch 6 years ago

Reviewers

ChrisHughes24

jcommelin

Assignees

rwbarton

Labels

ready-to-merge

Milestone

No milestone

mathlib3 refactor(category_theory): move small_category_of_preorder to preorder namespace #932 Merged

refactor(category_theory): move small_category_of_preorder to preorder namespace #932

mathlib3
refactor(category_theory): move small_category_of_preorder to preorder namespace
#932

Merged