Rémy Degenne

feat(probability/independence): Kolmogorov's 0-1 law

1

We prove that any event in the tail σ-algebra of an independent sequence of sub-σ-algebras has probability 0 or 1. --- - [x] depends on: #16759 [](https://gitpod.io/from-referrer/)

--- [](https://gitpod.io/from-referrer/)

feat(probability/subgaussian): define sub-Gaussian random variables

3

Define sub-Gaussian random variables and prove Hoeffding's inequality. --- - [x] depends on: #15140 [](https://gitpod.io/from-referrer/)

feat(Probability/Kernel): disintegration of finite kernels

4

Let `κ : kernel α (β × Ω)` be a finite kernel, where `Ω` is a standard Borel space. Then if `α` is countable or `β` has a countably generated...