Work on ETC - #31

Merged

RemyDegenne merged 11 commits into

mainfrom

Sep 28, 2025

Commits on Sep 26, 2025

etc work
RemyDegenne
committed
9a760eb
add subgaussian facts
RemyDegenne
committed
b0c439c
mk_all
RemyDegenne
committed
89c8e10
add mgf lemma
RemyDegenne
committed
ae73a0e

Commits on Sep 27, 2025

arms pulled by etc
RemyDegenne
committed
3b9d28c
change notation for trajMeasure
RemyDegenne
committed
b575079
add sumRewards def and lemmas
RemyDegenne
committed
0db7b41
integrable pullCount
RemyDegenne
committed
24645a0
progress
RemyDegenne
committed
4182baf

Commits on Sep 28, 2025

add subGaussian lemmas
RemyDegenne
committed
4c1b493
work
RemyDegenne
committed
f7df0f2