feat: admissible e-variables for finitely many constraints [LRR26, Corollary 3.3], and domination by an admissible bet - #415

feat: admissible e-variables for finitely many constraints [LRR26, Corollary 3.3], and domination by an admissible bet#415

lmlexplore-automation[bot] merged 4 commits into

LeanMachineLearning:mainLeanMachineLearning/LMLExplore:mainfrom

RemyDegenne:evr/constraint-admissibleRemyDegenne/LMLExplore:evr/constraint-admissibleCopy head branch name to clipboard