Theorem Acc.prod_gameAdd

Modification history

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