WikiLean Articles · Brain · Recent changes · Proposals · Flags · Stats · About

Diff — Generalized Riemann hypothesis

Revision #3273 → #3807 · back to history

modifiedConvergence and analytic continuation of Dirichlet L-functiondd64ffb90ed9
FieldFrom #3273To #3807
noteConvergence for `re s > 1` is `LSeriesSummable_of_one_lt_re`; the analytic continuation is encoded by `DirichletCharacter.LFunction` together with `differentiable_LFunction`.Convergence for `re s > 1` is `LSeriesSummable_of_one_lt_re`; the analytic continuation is given by `DirichletCharacter.LFunction` together with `DirichletCharacter.differentiable_LFunction`.