Theorem sum_bernoulli'

Modification history

2024-05-27 08:32
Mathlib/NumberTheory/Bernoulli.lean
chore: Use the new `∑ i ∈ s, f i` notation (#13209) …
Modified sum_bernoulli'View on Github →
2023-05-25 14:31
Mathlib/NumberTheory/Bernoulli.lean
feat: port NumberTheory.Bernoulli (#4259)
Added sum_bernoulli'View on Github →