Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-05-08 22:40 8f5d2401

View on Github →

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

Estimated changes

modified def linear_order.lift
modified def partial_order.lift
modified def preorder.lift