Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Commit
2022-06-06 22:44
6ad1a55f
View on Github →
feat(set_theory/game/pgame): induction on left/right moves of add/mul (
#14345
)
Estimated changes
Modified
src/set_theory/game/basic.lean
modified
theorem
pgame.left_moves_mul_cases
modified
theorem
pgame.right_moves_mul_cases
Modified
src/set_theory/game/impartial.lean
Modified
src/set_theory/game/nim.lean
Modified
src/set_theory/game/pgame.lean
modified
theorem
pgame.left_moves_add_cases
modified
theorem
pgame.right_moves_add_cases