I want to compute the following integral
$$\int\limits_{-\infty}^t e^{-\frac{1}{2 a}(c-x)^2} dx$$
I substitute $y=\frac{c-x}{\sqrt{a}}$. Thus I have $dy=-\frac{dx}{\sqrt{a}}$ and the upper limit $\frac{c-t}{\sqrt{a}}$. Then I have
$$-\sqrt{a}\int\limits_{-\infty}^{\frac{c-t}{\sqrt{a}}} e^{-y^2} dy=\sqrt{a}\int\limits^{\infty}_{\frac{c-t}{\sqrt{a}}} e^{-y^2} dy=\sqrt{2\pi} \sqrt{a}(1-\Phi(\frac{c-t}{\sqrt{a}}))$$
Is this correct?Can I simplify this further?