dickson_zero

Mathlib.RingTheory.Polynomial.Dickson

URI: https://scilib.ai/kg/mathlib#Polynomial.dickson_zero

English

The 0-th generalized Dickson polynomial equals 3 − k.

Русский

Нулевой обобщённый полином Диксона равен 3 − k.

LaTeX

$$$dickson\, k\, a\, 0 = 3 - k$$$

Lean4

@[simp]
theorem dickson_zero : dickson k a 0 = 3 - k :=
  rfl

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

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

Разделы

Аффилиация

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