mathlib3
refactor(order/basic): make type class args explicit in {*}order.lift
#995

Merged

refactor(order/basic): make type class args explicit in {*}order.lift #995

mergify merged 7 commits into master from preorder-lift

jcommelin requested a review 6 years ago

refactor(order/basic): make type class arguments explicit for {*}orde…

6ac4039c

Let's try again

88b169df

And another try

59198e55

Silly typo

ea06230b

Fix error

b4bbdf5c

Oops, missed this one

49d5d8b1

sgouezel assigned

sgouezel 6 years ago

sgouezel added ready-to-merge

sgouezel approved these changes on 2019-05-08

Merge branch 'master' into 'preorder-lift'

26711503

mergify merged 8f5d2401 into master 6 years ago

mergify deleted the preorder-lift branch 6 years ago

Reviewers

sgouezel

Assignees

sgouezel

Labels

ready-to-merge

Milestone

No milestone