Mathlib v3 is deprecated. Go to Mathlib v4

Theorem lex_lt_iff

Modification history

2022-01-03 20:30
src/order/lexicographic.lean
refactor(order/lexicographic): Change the `lex` synonym (#10926) …
Deleted lex_lt_iffView on Github →
2021-12-19 18:51
src/order/lexicographic.lean
feat (order/lexicographic): add API lemmas (#10887)
Added lex_lt_iffView on Github →