nim_zero_equiv

Mathlib.SetTheory.Game.Nim

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

English

The nim-value of zero is equivalent to zero in the equivalence relation on games.

Русский

Нулевое значение Nim эквивалентно нулю по отношению эквивалентности между играми.

LaTeX

$$$ nim\ 0 \approx 0 $$$

Lean4

theorem nim_zero_equiv : nim 0 ≈ 0 :=
  Equiv.isEmpty _

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

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

Разделы

Аффилиация

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