Mathlib v3 is deprecated. Go to Mathlib v4

Theorem not_lt_of_lt

Modification history

2017-11-20 01:30

algebra/order.lean

fix(algebra/order): update to lean …

Deleted not_lt_of_lt View on Github →

2017-09-16 02:53

algebra/order.lean

feat(algebra): new algebra theorems (more iff)

Added not_lt_of_lt View on Github →