Theorem LSeries.abscissaOfAbsConv_congr

Modification history

2024-04-03 22:32

Mathlib/NumberTheory/LSeries/Convergence.lean

feat(NumberTheory/LSeries/Dirichlet): new file, material on specific L-series (#11712) …

Modified LSeries.abscissaOfAbsConv_congr View on Github →

2024-03-20 19:03

Mathlib/NumberTheory/LSeries/Convergence.lean

feat(NumberTheory/LSeries/Deriv): derivatives of L-series (#11245) …

Added LSeries.abscissaOfAbsConv_congr View on Github →