Kramkov's optional decomposition theorem (source code)

= Kramkov's optional decomposition theorem
{wiki=Kramkov's_optional_decomposition_theorem}