Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-03-17 19:18 fb28eac0

View on Github →

feat(number_theory/bernoulli): Faulhaber's theorem (#6409) Co-authored-by Fabian Kruse

Estimated changes

modified theorem bernoulli'_four
modified theorem bernoulli'_one
modified theorem bernoulli'_three
modified theorem bernoulli'_two
modified theorem bernoulli'_zero
modified theorem bernoulli_one
modified theorem bernoulli_zero
added theorem sum_range_pow