nth_rewrite 2 [tsum_eq_add_tsum_ite (b := 0) ?_]
s : ℂ
hs : 1 < s.re
⊢ (∑' (n : ℕ), if n = 0 then 0 else ↑(Λ n) / ↑n ^ s) = ∑' (n : ℕ), ↑(Λ n) / ↑n ^ s
s : ℂ
hs : 1 < s.re
⊢ (∑' (n : ℕ), if n = 0 then 0 else ↑(Λ n) / ↑n ^ s) =
    ↑(Λ 0) / ↑0 ^ s + ∑' (n : ℕ), if n = 0 then 0 else ↑(Λ n) / ↑n ^ s

s : ℂ
hs : 1 < s.re
⊢ Summable fun n => ↑(Λ n) / ↑n ^ s