mathlib3

4cd154b1 - feat (number_theory/zeta_function): relate to Dirichlet series