grundyValue_zero

Mathlib.SetTheory.Game.Nim

URI: https://scilib.ai/kg/mathlib#SetTheory.PGame.grundyValue_zero

English

Grundy value of the zero game is zero: GrundyValue(0) = 0.

Русский

Грандивая величина нулевой игры равна нулю: grundyValue(0) = 0.

LaTeX

$$$ \operatorname{grundyValue}(0) = 0. $$$

Lean4

@[simp]
theorem grundyValue_zero : grundyValue 0 = 0 :=
  grundyValue_eq_iff_equiv_nim.2 (Equiv.symm nim_zero_equiv)

Похожие утверждения

Научная платформа российской исследовательской школы.

Разделы

Аффилиация

Вычислительный центр им. А. А. Дороницына при ФИЦ «Информатика и Управление» РАН frccsc.ru