mathlib

2b68801b - refactor(number_theory/bernoulli_polynomials): improve names (#11805)

refactor(number_theory/bernoulli_polynomials): improve names (#11805) Cleanup the bernoulli_polynomials file Co-authored-by: Riccardo Brasca <riccardo.brasca@gmail.com>