Theorem Prod.gameAdd_le_lex

Modification history

2022-11-20 09:55
Mathlib/Order/GameAdd.lean
feat: port Order.GameAdd (#645) …
Added Prod.gameAdd_le_lexView on Github →