impartial_star

Mathlib.SetTheory.Game.Impartial

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

English

The star game is impartial.

Русский

Игра звезда непредвзята.

LaTeX

$$$\operatorname{Impartial}(\text{star})$$$

Lean4

instance impartial_star : Impartial star := by
  rw [impartial_def]
  simpa using Impartial.impartial_zero

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

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

Разделы

Аффилиация

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