Commit 2024-10-22 16:44 87bea92e

feat(NumberTheory/LSeries): functional equation for Dirichlet L-funcs (#16967) Define completed L-functions for Dirichlet characters, prove that they are differentiable (except when they obviously aren't), and prove the functional equation.