Theorem LSeries.term_sum

Modification history

2025-07-11 09:29
Mathlib/NumberTheory/LSeries/Linearity.lean
chore: a batch of whitespace fixes (#26964) …
Modified LSeries.term_sumView on Github →
2024-11-13 20:45
Mathlib/NumberTheory/LSeries/Linearity.lean
feat: LSeries commutes with finite sums (#18928) …
Added LSeries.term_sumView on Github →