Mathlib Changelog
v4
Changelog
About
Github
Theorem
LSeries.term_sum_apply
Modification history
2024-11-13 20:45
Mathlib/NumberTheory/LSeries/Linearity.lean
feat: LSeries commutes with finite sums (#18928) …
Added
LSeries.term_sum_apply
View on Github →