Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-12-19 18:51 faee3582

View on Github →

feat (order/lexicographic): add API lemmas (#10887)

Estimated changes

Modified src/order/lexicographic.lean

added theorem lex_le_iff

added theorem lex_lt_iff