Skip to content

feat: the numeraire of two exponential or geometric observations against a common parameter - #439

Open
RemyDegenne wants to merge 2 commits into
LeanMachineLearning:mainfrom
RemyDegenne:evr/two-sample-numeraire
Open

RemyDegenne wants to merge 2 commits into
LeanMachineLearning:mainfrom
RemyDegenne:evr/two-sample-numeraire

refactor: relocate the general lemmas of the two-sample numeraire and…

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

Annotations

1 warning and 1 notice
app-credentials
succeeded Nov 15, 2026 in 3s