Skip to content

feat: identifying numeraires through the effective null - #410

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

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

refactor: state measure_fsupport_eq_measure_univ for an almost surely…

39f9a4e
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 4s