Skip to content

feat: a composite strong law of large numbers under bounded centred first moments - #433

Open
RemyDegenne wants to merge 4 commits into
LeanMachineLearning:mainfrom
RemyDegenne:evr/composite-strong-law
Open

feat: a composite strong law of large numbers under bounded centred first moments#433
RemyDegenne wants to merge 4 commits into
LeanMachineLearning:mainfrom
RemyDegenne:evr/composite-strong-law

Commits

  1. Commits on Nov 15, 2026