feat: convergence and optional stopping of ℝ≥0∞-valued supermartingales at stopping times in WithTop ℕ - #395

feat: convergence and optional stopping of ℝ≥0∞-valued supermartingales at stopping times in WithTop ℕ#395

lmlexplore-automation[bot] merged 6 commits into

LeanMachineLearning:mainLeanMachineLearning/LMLExplore:mainfrom

RemyDegenne:roadmap/ennreal-optional-stopping-worker2RemyDegenne/LMLExplore:roadmap/ennreal-optional-stopping-worker2Copy head branch name to clipboard