Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-08-05 09:34 666c6e00

View on Github →

feat(set_theory/game/nim): Grundy value in terms of right moves (#15410)

Estimated changes

Modified src/set_theory/game/nim.lean

deleted theorem pgame.grundy_value_def

added theorem pgame.grundy_value_eq_mex_left

added theorem pgame.grundy_value_eq_mex_right

added theorem pgame.grundy_value_neg