Skip to content

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

Merged
lmlexplore-automation[bot] merged 4 commits into
LeanMachineLearning:mainfrom
RemyDegenne:roadmap/identifying-numeraires-worker1
Nov 15, 2026
Merged

lmlexplore-automation[bot] merged 4 commits into
LeanMachineLearning:mainfrom
RemyDegenne:roadmap/identifying-numeraires-worker1

refactor: expose the withDensity-inverse integral identity as a measu…

e5098ca
Select commit
Loading
Failed to load commit list.
Sign in for the full log view