Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Commit
2021-03-09 11:19
49afae5a
View on Github →
feat(number_theory/bernoulli): bernoulli_poly_eval_one (
#6581
)
Estimated changes
Modified
src/number_theory/bernoulli.lean
deleted
theorem
bernoulli_eq_bernoulli'
added
theorem
bernoulli_eq_bernoulli'_of_ne_one
modified
theorem
sum_bernoulli
Modified
src/number_theory/bernoulli_polynomials.lean
added
theorem
bernoulli_poly.bernoulli_poly_eval_one