Commit 2024-09-01 13:44 06d443ea

View on Github →

feat(NumberTheory/LSeries): analytic continuation of Dirichlet L-series (#13997) We prove analytic continuation of the L-function of any periodic function on the naturals, including Dirichlet characters.

Estimated changes