feat(probability/independence): Kolmogorov's 0-1 law (#16648)
We prove that any event in the tail σ-algebra of an independent sequence of sub-σ-algebras has probability 0 or 1.
Co-authored-by: Rémy Degenne <remydegenne@gmail.com>
Co-authored-by: sgouezel <sebastien.gouezel@univ-rennes1.fr>
