Commit 2024-11-14 16:52 ddccebec

feat(NumberTheory/EulerProduct/DirichletLSeries): add exp-log variants of Euler products (#19034) This adds "exp-log" versions of the Euler product formula for Dirichlet L-series; it is another step on the way to PNT and Dirichlet's Theorem. It also renames dirichletLSeries_<...> to DirichletCharacter.LSeries_<...> for consistency (and to allow dot notation). See here on Zulip.