mathlib documentation

number_theory.l_series

L-series #

Given an arithmetic function, we define the corresponding L-series.

Main Definitions #

Main Results #

The L-series of an arithmetic_function.

Equations

f.l_series_summable z indicates that the L-series of f converges at z.

Equations