Mathlib v3 is deprecated. Go to Mathlib v4

Def lex

Modification history

2022-05-10 08:56

src/order/lexicographic.lean

move(order/synonym): Group `order_dual` and `lex` (#13769) …

Modified lex View on Github →

2022-01-03 20:30

src/order/lexicographic.lean

refactor(order/lexicographic): Change the `lex` synonym (#10926) …

Modified lex View on Github →

2019-04-09 04:27

src/order/lexicographic.lean

feat(order/lexicographic): lexicographic pre/partial/linear orders (#820) …

Added lex View on Github →