hurwitzZetaEven_neg

Mathlib.NumberTheory.LSeries.HurwitzZetaEven

URI: https://scilib.ai/kg/mathlib#HurwitzZeta.hurwitzZetaEven_neg

English

Replacing a by −a does not change hurwitzZetaEven.

Русский

Замена a на −a не изменяет hurwitzZetaEven.

LaTeX

$$$\\forall a:\\text{UnitAddCircle},\\ hurwitzZetaEven(-a,s) = hurwitzZetaEven(a,s).$$$

Lean4

theorem hurwitzZetaEven_neg (a : UnitAddCircle) (s : ℂ) : hurwitzZetaEven (-a) s = hurwitzZetaEven a s := by
  simp [hurwitzZetaEven]

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

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

Разделы

Аффилиация

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