completedCosZeta_neg — Mathlib

English

Negating the first kernel argument leaves completedCosZeta invariant: completedCosZeta(−a, s) = completedCosZeta(a, s).

Русский

Замена a на −a не меняет completedCosZeta: completedCosZeta(−a, s) = completedCosZeta(a, s).

LaTeX

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

Lean4

@[simp]
theorem completedCosZeta_neg (a : UnitAddCircle) (s : ℂ) : completedCosZeta (-a) s = completedCosZeta a s := by
  simp [completedCosZeta]

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