Theorem Ord.lex_eq

Modification history

2024-10-08 06:33
Mathlib/Data/Prod/Lex.lean
feat: `LawfulOrd` and `LinearOrder` (#12082) …
Added Ord.lex_eqView on Github →