A Formalization of Doob's Martingale Convergence Theorems in mathlib

From MaRDI portal

Publication:6420206

Jump to:navigation, search

arXiv2212.05578MaRDI QIDQ6420206

Rémy Degenne, Kexing Ying

Publication date: 11 December 2022

This page was built for publication: A Formalization of Doob's Martingale Convergence Theorems in mathlib

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:6420206&oldid=36086433"