mathlib3

b25994d5 - feat(number_theory/bernoulli): definition and properties of Bernoulli polynomials (#6309)

feat(number_theory/bernoulli): definition and properties of Bernoulli polynomials (#6309) The Bernoulli polynomials and its properties are defined. Co-authored-by: Kevin Buzzard <k.buzzard@imperial.ac.uk>