# Commit 2021-02-22 14:12 6d2726c6

View on Github →feat(number_theory/bernoulli): definition and properties of Bernoulli numbers (#6363)

Mathlib v3 is deprecated. Go to Mathlib v4

feat(number_theory/bernoulli): definition and properties of Bernoulli numbers (#6363)