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

Merged

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

mergify merged 12 commits into master from bernoulli

Small start on generating functions

ddcb8efa

Playing with Bernoulli

a9953878

Finished sum_bernoulli

19dfd9d6

Some updates after PRs

9b6f9778

Analogue for mv_power_series

28f3a095

Merge branch 'lean-3.4.2' into gen-fun

edbc84d6

Cleanup after merged PRs

2dac1848

Merge branch 'lean-3.4.2' into gen-fun

07ca5742

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

77cc52e2

Remove old file

60f91586

sgouezel commented on 2020-02-04

fpvandoorn commented on 2020-02-04

Process comments

4c5e12fe

fpvandoorn added ready-to-merge

fpvandoorn assigned

fpvandoorn 6 years ago

fpvandoorn approved these changes on 2020-02-04

Merge branch 'master' into bernoulli

2c9b24b2

mergify merged 9dbc894f into master 6 years ago

mergify deleted the bernoulli branch 6 years ago

Reviewers

fpvandoorn

sgouezel

Assignees

fpvandoorn

Labels

ready-to-merge

Milestone

No milestone