mathlib3

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