feat: Doob maximal inequality for lower semicontinuous submartingales (separable index) - #498

feat: Doob maximal inequality for lower semicontinuous submartingales (separable index)#498

CoolRmal wants to merge 4 commits into

RemyDegenne:masterRemyDegenne/brownian-motion:masterfrom

CoolRmal:doob-maximal-continuousCoolRmal/brownian-motion:doob-maximal-continuousCopy head branch name to clipboard