mathlib
a95b4427 - feat(probability/martingale): Doob's maximal inequality (#14737)

Commit

3 years ago

feat(probability/martingale): Doob's maximal inequality (#14737)

Author

kex-y

kex-y

Parents

Loading