Could someone explain why the following change of variable is valid?:
$$2 \int^{\sqrt t}_0 \frac 1 {\sqrt {2\pi}} e^{-u^2/2} du = \frac 1 {\sqrt {2 \pi}} \int^t_0 e^{-s/2}s^{-1/2}ds$$
Using the substitution method I've been used to, I can write $s = u^2$ which implies $\frac {ds} {du} = 2u$. So $ds = 2u (du)$. But $2u (du)$ is not to be found in the integral, so obviously $ds/u$ is substituted for $2(du)$. However why is this permissible ?