History

for article: Doob–Dynkin lemma