feat: the set without arbitrage that carries a constraint null also carries a given measure, or an arbitrage charges that measure - #416

feat: the set without arbitrage that carries a constraint null also carries a given measure, or an arbitrage charges that measure#416

lmlexplore-automation[bot] merged 2 commits into

LeanMachineLearning:mainLeanMachineLearning/LMLExplore:mainfrom

RemyDegenne:evr/constraint-null-supportRemyDegenne/LMLExplore:evr/constraint-null-supportCopy head branch name to clipboard