Theorem Prod.Lex.compare_def

Modification history

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