Theorem dirichletLSeries_eulerProduct

Modification history

2024-11-14 16:52
Mathlib/NumberTheory/EulerProduct/DirichletLSeries.lean
feat(NumberTheory/EulerProduct/DirichletLSeries): add exp-log variants of Euler products (#19034) …
Deleted dirichletLSeries_eulerProductView on Github →
2023-12-06 14:30
Mathlib/NumberTheory/EulerProduct/DirichletLSeries.lean
feat(NumberTheory/EulerProduct): add Euler Products for zeta function and Dirichlet L series (#8751) …
Added dirichletLSeries_eulerProductView on Github →