Mathlib v3 is deprecated. Go to Mathlib v4

Theorem prod.lex.trans

Modification history

2022-01-12 07:31

src/data/prod.lean

chore(order/lexicographic): cleanup (#11299) …

Added prod.lex.trans View on Github →