Associativity of stochastic integration (source code)

= Associativity of stochastic integration

Whenever the integrands are admissible,
$$
\int K\,d\!\left(\int H\,dX\right)=\int KH\,dX.
$$