Commit 2024-05-06 07:35 4aea4b56
View on Github →feat(NumberTheory/LSeries): Even Hurwitz zeta functions (II) (#12265) This is a sequel to #12147, adding the key properties of the even Hurwitz zeta function: it is differentiable away from s = 1, and it agrees with the Dirichlet series when the latter converges.