Commit 2021-03-07 17:19 b25994d5
View on Github →feat(number_theory/bernoulli): definition and properties of Bernoulli polynomials (#6309) The Bernoulli polynomials and its properties are defined.
feat(number_theory/bernoulli): definition and properties of Bernoulli polynomials (#6309) The Bernoulli polynomials and its properties are defined.