Commit 2022-10-14 20:35 da4010c2
View on Github →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.
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.