Mathlib v3 is deprecated. Go to Mathlib v4

Theorem not_lt

Modification history

2020-08-29 14:16

src/algebra/order.lean

chore(*): bump to lean 3.19.0c, fin is now a subtype (#3955) …

Deleted not_lt View on Github →

2017-12-07 00:39

algebra/order.lean

refactor(*): remove local simp AC lemmas …

Modified not_lt View on Github →

2017-09-16 02:53

algebra/order.lean

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

Added not_lt View on Github →