feat: joint continuity of the cost of the alternatives on product models and for compact alternatives [DK19, Lemmas 24–27] - #283

feat: joint continuity of the cost of the alternatives on product models and for compact alternatives [DK19, Lemmas 24–27]#283

lmlexplore-automation[bot] merged 3 commits into

LeanMachineLearning:mainLeanMachineLearning/LMLExplore:mainfrom

RemyDegenne:roadmap/continuity-altcost-product-model-worker1RemyDegenne/LMLExplore:roadmap/continuity-altcost-product-model-worker1Copy head branch name to clipboard