Prove indepFun_eval_streamMeasure' - #44

Merged

RemyDegenne merged 5 commits into

LeanMachineLearning:mainfrom

paulorauber:indepFun_proj_infinitePi_infinitePi

Dec 15, 2025

Commits on Dec 12, 2025

Prove indepFun_proj_infinitePi_infinitePi
paulorauber
committed
d16a55d
Refactor
paulorauber
committed
8a19adc

Commits on Dec 13, 2025

Remove lemma
paulorauber
committed
a3c9cbd

Commits on Dec 15, 2025

Improve proofs
paulorauber
committed
7ffe863
Import new file
paulorauber
committed
becd8a3