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