moveRight

Mathlib.SetTheory.Game.Domineering

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

← MathLib Explorer

English

moveRight(b, m) is the board with m and (m1-1, m2) removed.

Русский

moveRight(b, m) — это доска, у которой удалены m и (m1-1, m2).

LaTeX

$$$\text{moveRight}(b, m) = (b \setminus \{m\}) \setminus \{(m_1-1, m_2)\}$$$

Lean4

/-- After Left moves, two horizontally adjacent squares are removed from the board. -/
def moveRight (b : Board) (m : ℤ × ℤ) : Board :=
  (b.erase m).erase (m.1 - 1, m.2)

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

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

Разделы

MathLib Explorer
Graph RAG
Лаборатория
Блог
О проекте
Команда

Аффилиация

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