Theorem Nat.sumByResidueClasses

Modification history

2025-03-31 11:38

Mathlib/Analysis/SumOverResidueClass.lean

chore: rename UniformGroup -> IsUniformGroup and UniformAddGroup -> IsUniformAddGroup (#23345) …

Modified Nat.sumByResidueClasses View on Github →

2024-09-01 13:44

Mathlib/Analysis/SumOverResidueClass.lean

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

Added Nat.sumByResidueClasses View on Github →