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

State before:
b x : ℝ
⊢ DiracSeq b x = b / sqrt π * rexp (-rpow (b * x) 2)
Tactic:
simp [DiracSeq]
State after:
no goals