Mathlib v3 is deprecated. Go to Mathlib v4

Theorem pgame.left_moves_mul_cases

Modification history

2022-06-06 22:44
src/set_theory/game/basic.lean
feat(set_theory/game/pgame): induction on left/right moves of add/mul (#14345)
Modified pgame.left_moves_mul_casesView on Github →
2022-05-24 00:02
src/set_theory/game/basic.lean
feat(set_theory/game/basic): mul_cases lemmas (#14343) …
Added pgame.left_moves_mul_casesView on Github →