feat: conditional Bernoulli domination of [0, 1]-valued variables and GC11 Theorem 10 along a filtration - #394

feat: conditional Bernoulli domination of [0, 1]-valued variables and GC11 Theorem 10 along a filtration#394

lmlexplore-automation[bot] merged 2 commits into

LeanMachineLearning:mainLeanMachineLearning/LMLExplore:mainfrom

RemyDegenne:roadmap/conditional-bernoulli-domination-worker3RemyDegenne/LMLExplore:roadmap/conditional-bernoulli-domination-worker3Copy head branch name to clipboard