wronskian_add_right

Mathlib.RingTheory.Polynomial.Wronskian

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

English

Wronskian is linear in the second argument: W(a,b+c) = W(a,b) + W(a,c).

Русский

Wronskian линейна по второму аргументу: W(a,b+c) = W(a,b) + W(a,c).

LaTeX

$$$$ \\mathrm{wronskian}(a, b+c) = \\mathrm{wronskian}(a,b) + \\mathrm{wronskian}(a,c). $$$$

Lean4

theorem wronskian_add_right (a b c : R[X]) : wronskian a (b + c) = wronskian a b + wronskian a c :=
  (wronskianBilin R a).map_add b c

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

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

Разделы

Аффилиация

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