mathlib
a7d05c45 - chore(number_theory/bernoulli): refactor definition of bernoulli (#5534)

Commit

4 years ago

chore(number_theory/bernoulli): refactor definition of bernoulli (#5534) A minor refactor of the definition of Bernoulli number, and I expanded the docstring.

Author

kbuzzard

Parents

12b5024b

mathlib a7d05c45 - chore(number_theory/bernoulli): refactor definition of bernoulli (#5534)

mathlib
a7d05c45 - chore(number_theory/bernoulli): refactor definition of bernoulli (#5534)