I am trying to compute this quantity:
$\frac{d}{dt}\int_{0}^{t} W_s ds $
Where $W_t$ is a Wiener process. Is there a theorem which tells how this can be computed?
I have tried https://en.wikipedia.org/wiki/Leibniz_integral_rule , however here the functional form is $\frac{d}{dx}\int_{a(x)}^{b(x)} (f(x,t) dt) $, that is the function $f$ takes 2 inputs - $x$ and $t$.
Using the above rule,
$\frac{d}{dt}\int_{0}^{t} W_s ds = W_t\frac{d}{dt}t - W_0\frac{d}{dt}0 + \int_{0}^{t}\frac{\partial{}}{\partial{t}}W_sds$
I am not sure what the term $\int_{0}^{t}\frac{\partial{}}{\partial{t}}W_sds$ means.
Any help is appreciated.