feat: the numeraires of the sample sizes need not form an e-process, and two-point nulls on finite spaces - #437

feat: the numeraires of the sample sizes need not form an e-process, and two-point nulls on finite spaces#437

RemyDegenne wants to merge 3 commits into

LeanMachineLearning:mainLeanMachineLearning/LMLExplore:mainfrom

RemyDegenne:evr/sequential-numerairesRemyDegenne/LMLExplore:evr/sequential-numerairesCopy head branch name to clipboard