# Commit 2022-02-08 08:51 2b68801b

View on Github →refactor(number_theory/bernoulli_polynomials): improve names (#11805) Cleanup the bernoulli_polynomials file

Mathlib v3 is deprecated. Go to Mathlib v4

refactor(number_theory/bernoulli_polynomials): improve names (#11805) Cleanup the bernoulli_polynomials file