mathlib3

8cce17e5 - feat(number_theory/zeta_values): evaluate critical values of Riemann zeta (#17994)

feat(number_theory/zeta_values): evaluate critical values of Riemann zeta (#17994) Evaluate critical values of Riemann zeta, via pointwise convergence of Fourier series of the Bernoulli polynomials. Co-authored-by: sgouezel <sebastien.gouezel@univ-rennes1.fr>