Repository navigation

Work on ETC - #31

Merged

RemyDegenne merged 11 commits into

mainfrom

Sep 28, 2025

Merged

Work on ETC#31
RemyDegenne merged 11 commits into
mainfrom
work

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