mathlib3

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

refactor(order/basic): make type class args explicit in {*}order.lift (#995) * refactor(order/basic): make type class arguments explicit for {*}order.lift * Let's try again * And another try * Silly typo * Fix error * Oops, missed this one