Theorem Prod.Lex.lt_iff

Modification history

2022-11-29 20:45
Mathlib/Data/Prod/Lex.lean
feat(Data.Prod.Lex): port file (#783) …
Added Prod.Lex.lt_iffView on Github →