rw [← ArithmeticFunction.LSeries_vonMangoldt_eq_deriv_riemannZeta_div hs]
s : ℂ
hs : 1 < s.re
⊢ -deriv riemannZeta s / riemannZeta s = ∑' (n : ℕ), ↑(Λ n) / ↑n ^ s
s : ℂ
hs : 1 < s.re
⊢ LSeries (fun n => ↑(Λ n)) s = ∑' (n : ℕ), ↑(Λ n) / ↑n ^ s