hyperoperation_ge_three_eq_one

Mathlib.Data.Nat.Hyperoperation

URI: https://scilib.ai/kg/mathlib#hyperoperation_ge_three_eq_one

English

For all n,m, hyperoperation(n+3) m 0 = 1.

Русский

Для любых n,m гипероперация(n+3) m 0 равна 1.

LaTeX

$$$\forall n,m \in \mathbb{N}, \ hyperoperation(n+3,m,0) = 1$$$

Lean4

@[grind =]
theorem hyperoperation_ge_three_eq_one (n m : ℕ) : hyperoperation (n + 3) m 0 = 1 := by grind

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

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

Разделы

Аффилиация

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