refactor(NumberTheory): golf Mathlib/NumberTheory/ArithmeticFunction/Zeta
#38278
+6
−10
Loading