Repository navigation

Measurability lemmas about `stepsUntil` and `rewardByCount` - #19

Merged

RemyDegenne merged 17 commits into

mainfrom

Sep 5, 2025

Merged

Measurability lemmas about `stepsUntil` and `rewardByCount`#19
RemyDegenne merged 17 commits into
mainfrom
etc

Commits on Sep 4, 2025
- measurability lemmas
  RemyDegenne
  committed
  4de55d6
- minor
  RemyDegenne
  committed
  c94632a
- work towards measurability
  RemyDegenne
  committed
  14d0ca3
- measurability done
  RemyDegenne
  committed
  7545754
- Merge remote-tracking branch 'origin/main' into etc
  RemyDegenne
  committed
  1b5dbfc
- minor
  RemyDegenne
  committed
  e3bb68c
- remove unnecessary lemmas
  RemyDegenne
  committed
  c270762
- add condDistrib lemma
  RemyDegenne
  committed
  8740245
- progress
  RemyDegenne
  committed
  b9d24ea
- minor
  RemyDegenne
  committed
  24e4ce3
- add arm_stepsUntil
  RemyDegenne
  committed
  465ad04
- add stepsUntil_zero
  RemyDegenne
  committed
  3b4a555
Commits on Sep 5, 2025
- add special case for pullCount of 0
  RemyDegenne
  committed
  b34aba1
- revert
  RemyDegenne
  committed
  f7073c7
- aux lemmas
  RemyDegenne
  committed
  927430b
- more aux lemmas
  RemyDegenne
  committed
  7ccbbe1
- move aux lemmas
  RemyDegenne
  committed
  0ac4491