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

State before:
x : ℝ
⊢ DiracSeq 1 x = (sqrt π)⁻¹ * rexp (-x ^ 2)
Tactic:
simp [DiracSeq]
State after:
no goals