Theorem: DiracSeq.symm (ForML/Dirac.lean)

State before:
b x : ℝ
⊢ DiracSeq b (-x) = DiracSeq b x
Tactic:
simp [DiracSeq]
State after:
no goals