Inductive Prod.GameAdd

Modification history

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