Mathlib v3 is deprecated. Go to Mathlib v4

Theorem prod.lex.lt_iff

Modification history

2022-01-12 07:31
src/order/lexicographic.lean
chore(order/lexicographic): cleanup (#11299) …
Modified prod.lex.lt_iffView on Github →
2022-01-03 20:30
src/order/lexicographic.lean
refactor(order/lexicographic): Change the `lex` synonym (#10926) …
Added prod.lex.lt_iffView on Github →