Skip to content

feat: the numeraires of the sample sizes need not form an e-process, and two-point nulls on finite spaces - #437

Open
RemyDegenne wants to merge 3 commits into
LeanMachineLearning:mainfrom
RemyDegenne:evr/sequential-numeraires
Open

feat: the numeraires of the sample sizes need not form an e-process, and two-point nulls on finite spaces#437
RemyDegenne wants to merge 3 commits into
LeanMachineLearning:mainfrom
RemyDegenne:evr/sequential-numeraires

refactor: use Fintype.sum_pow in place of a private copy

8638326
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 2s