Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-08-24 16:23 96b559c7

View on Github →

feat(set_theory/game): grundy number of single-heap nim (#3930)

Estimated changes

Modified src/set_theory/game/nim.lean

added theorem nim.Grundy_value_nim

added theorem nim.equiv_nim_iff_Grundy_value_eq

added theorem nim.nim_equiv_iff_eq