Mathlib v3 is deprecated. Go to Mathlib v4

Theorem prod.lex.refl_left

Modification history

2022-01-12 07:31
src/data/prod.lean
chore(order/lexicographic): cleanup (#11299) …
Added prod.lex.refl_leftView on Github →