Doob–Dynkin lemma (source code)

= Doob–Dynkin lemma
{wiki=Doob–Dynkin_lemma}