mathlib3
8ef5c788 - feat(number_theory/bernoulli_polynomials): prove `bernoulli_eval_one_neg`

Commit

3 years ago

feat(number_theory/bernoulli_polynomials): prove `bernoulli_eval_one_neg` Prove that Bernoulli polynomials are symmetric along x = 1 / 2.

References

Author

grhkm21

Committer

grhkm21

Parents