ascPochhammer_zero_eval_zero

Mathlib.RingTheory.Polynomial.Pochhammer

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

English

The zero-case evaluation: ascPochhammer S 0 evaluated at 0 equals 1.

Русский

Нулевой случай: ascPochhammer S 0 в 0 равно 1.

LaTeX

$$$(ascPochhammer S 0).\\mathrm{eval} 0 = 1$$$

Lean4

theorem ascPochhammer_zero_eval_zero : (ascPochhammer S 0).eval 0 = 1 := by simp

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

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

Разделы

Аффилиация

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