Doob-Meyer decomposition theorem

1. REDIRECT Doob–Meyer decomposition theorem

{{R from modification}}