Theorem ZMod.LFunction_modOne_eq

Modification history

2024-09-01 13:44

Mathlib/NumberTheory/LSeries/ZMod.lean

feat(NumberTheory/LSeries): analytic continuation of Dirichlet L-series (#13997) …

Added ZMod.LFunction_modOne_eq View on Github →