completedHurwitzZetaEven_neg — Mathlib

English

For all a and s, completedHurwitzZetaEven(−a, s) = completedHurwitzZetaEven(a, s).

Русский

Для всех a и s: completedHurwitzZetaEven(−a, s) = completedHurwitzZetaEven(a, s).

LaTeX

$$$$ \\operatorname{completedHurwitzZetaEven}(-a,s) = \\operatorname{completedHurwitzZetaEven}(a,s). $$$$

Lean4

@[simp]
theorem completedHurwitzZetaEven_neg (a : UnitAddCircle) (s : ℂ) :
    completedHurwitzZetaEven (-a) s = completedHurwitzZetaEven a s := by simp [completedHurwitzZetaEven]

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