feat: admissible e-processes, and the admissibility of the sub-Gaussian exponential e-process for nonatomic i.i.d. laws - #434

feat: admissible e-processes, and the admissibility of the sub-Gaussian exponential e-process for nonatomic i.i.d. laws#434

RemyDegenne wants to merge 8 commits into

LeanMachineLearning:mainLeanMachineLearning/LMLExplore:mainfrom

RemyDegenne:evr/subgaussian-admissible-eprocessRemyDegenne/LMLExplore:evr/subgaussian-admissible-eprocessCopy head branch name to clipboard