feat: identifying the numeraire through the effective null [LRR25, Theorem 4.1] - #411

feat: identifying the numeraire through the effective null [LRR25, Theorem 4.1]#411

lmlexplore-automation[bot] merged 4 commits into

LeanMachineLearning:mainLeanMachineLearning/LMLExplore:mainfrom

RemyDegenne:roadmap/identifying-numeraires-worker1RemyDegenne/LMLExplore:roadmap/identifying-numeraires-worker1Copy head branch name to clipboard