reverse_C

Mathlib.Algebra.Polynomial.Reverse

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

English

For any t ∈ R, reverse(C t) = C t.

Русский

Для любого t ∈ R, reverse(C t) = C t.

LaTeX

$$$\operatorname{reverse}(C t) = C t.$$$

Lean4

@[simp]
theorem reverse_C (t : R) : reverse (C t) = C t := by simp [reverse]

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

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

Разделы

Аффилиация

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