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