Repository navigation

Probability: kernels, pushforward and sequential composition of laws - #21

Merged

MarcIlunga merged 4 commits into

mainfrom

memoryless-probability

Oct 13, 2026

Merged

Probability: kernels, pushforward and sequential composition of laws#21
MarcIlunga merged 4 commits into
mainfrom
memoryless-probability

Commits on Oct 13, 2026
- Probability: kernels, pushforward and sequential composition of laws
  
  MarcIlunga
  and
  claude
  committed
  494275e
- Kernels: cite CR18 §3.6.1 for conditional distributions only; lemma for steps
  
  MarcIlunga
  and
  claude
  committed
  8846092
- Kernels: review fixes
  
  MarcIlunga
  and
  claude
  committed
  f272bb1
- Kernels: proof comments
  
  MarcIlunga
  and
  claude
  committed
  f64df8e