Theorem ProbabilityTheory.IndepSets.biUnion

Modification history

2025-11-02 17:39

Mathlib/Probability/Independence/Basic.lean

chore: fix typo in IndepSets.bUnion (#31181)

Added ProbabilityTheory.IndepSets.biUnion View on Github →