Theorem: SelbergSieve.selbergWeights_eq_zero_of_not_dvd (PrimeNumberTheoremAnd/Mathlib/NumberTheory/Sieve/Selberg.lean)

State before:
s : SelbergSieve
d : ℕ
hd : ¬d ∣ P
⊢ s.selbergWeights d = 0
Tactic:
rw [selbergWeights, if_neg hd]
State after:
no goals