mathlib
49afae5a - feat(number_theory/bernoulli): bernoulli_poly_eval_one (#6581)

Commit

4 years ago

feat(number_theory/bernoulli): bernoulli_poly_eval_one (#6581) Co-authored-by: Moritz Firsching <firsching@google.com>

Author

mo271

Parents