Doob–Meyer decomposition theorem (source code)

= Doob–Meyer decomposition theorem
{wiki=Doob–Meyer_decomposition_theorem}