wronskian_neg_right

Mathlib.RingTheory.Polynomial.Wronskian

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

English

Negating the second argument flips the sign: W(a,−b) = −W(a,b).

Русский

Отрицание второго аргумента меняет знак: W(a,−b) = −W(a,b).

LaTeX

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

Lean4

theorem wronskian_neg_right (a b : R[X]) : wronskian a (-b) = -wronskian a b :=
  (wronskianBilin R a).map_neg b

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

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

Разделы

Аффилиация

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