Theorem lexOrd_eq

Modification history

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