simp [DiracSeq.support hb.ne']
b : ℝ
hb : 0 < b
s : Set ℝ
hs : 0 < ↑↑volume s
⊢ 0 < ↑↑volume ((Function.support fun x => DiracSeq b x) ∩ s)
b : ℝ
hb : 0 < b
s : Set ℝ
hs : 0 < ↑↑volume s
⊢ 0 < ↑↑volume s