divX_add

Mathlib.Algebra.Polynomial.Inductions

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

English

Let p and q be polynomials over a semiring R. Then divX(p + q) = divX(p) + divX(q).

Русский

Пусть p и q — полиномы над полуполем R. Тогда divX(p + q) = divX(p) + divX(q).

LaTeX

$$$\\operatorname{divX}(p + q) = \\operatorname{divX}(p) + \\operatorname{divX}(q).$$$

Lean4

theorem divX_add : divX (p + q) = divX p + divX q :=
  ext <| by simp

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

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

Разделы

Аффилиация

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