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

Merged

Commits

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

jcommelin committed 7 years ago
Let's try again

jcommelin committed 7 years ago
And another try

jcommelin committed 7 years ago
Silly typo

jcommelin committed 7 years ago
Fix error

jcommelin committed 7 years ago
Oops, missed this one

jcommelin committed 7 years ago
Merge branch 'master' into 'preorder-lift'

mergify-bot committed 7 years ago