Mathlib v3 is deprecated. Go to Mathlib v4

Theorem pgame.grundy_value_eq_mex_right

Modification history

2022-08-05 09:34

src/set_theory/game/nim.lean

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

Added pgame.grundy_value_eq_mex_right View on Github →