map_add

Mathlib.RingTheory.Derivation.Basic

URI: https://scilib.ai/kg/mathlib#Derivation.map_add

English

The derivation is additive: D(a+b) = D(a) + D(b).

Русский

Производная распределена по сумме: D(a+b) = D(a) + D(b).

LaTeX

$$$D(a+b) = D(a) + D(b).$$$

Lean4

protected theorem map_add : D (a + b) = D a + D b :=
  map_add D a b

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

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

Разделы

Аффилиация

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