Commit 2020-02-04 14:32 9dbc894f

View on Github →

feat(number_theory/bernoulli): Add definition of Bernoulli numbers (#1952)

  • Small start on generating functions
  • Playing with Bernoulli
  • Finished sum_bernoulli
  • Some updates after PRs
  • Analogue for mv_power_series
  • Cleanup after merged PRs
  • feat(number_theory/bernoulli): Add definition of Bernoulli numbers
  • Remove old file
  • Process comments

Estimated changes

added def bernoulli
added theorem bernoulli_def'
added theorem bernoulli_def
added theorem bernoulli_four
added theorem bernoulli_one
added theorem bernoulli_three
added theorem bernoulli_two
added theorem bernoulli_zero
added theorem sum_bernoulli