mathlib3
feat(number_theory/bernoulli_polynomials): prove `bernoulli_eval_one_neg`
#18313
Open
Open