simp [DiracSeq.def]
b : ℝ
hb : b ≠ 0
⊢ Function.support (DiracSeq b) = Set.univ
b : ℝ
hb : b ≠ 0
⊢ (((Function.support fun a => b) ∩ Function.support fun a => sqrt π) ∩ Function.support fun x => rexp (-(b * x) ^ 2)) =
    Set.univ