mathlib4 icon indicating copy to clipboard operation
mathlib4 copied to clipboard

Published 20 hours ago • verified publisher icon leanprover-community

feat (NumberTheory/LSeries): Hurwitz zeta

Open loefflerd opened this issue 9 months ago • 4 comments

Add the Hurwitz zeta function (defined as the sum of its even and odd parts, which were already defined in previous PR's).

Open in Gitpod

loefflerd avatar May 14 '24 07:05 loefflerd