Theorem ProbabilityTheory.CondIndepSets.biUnion

Modification history

2025-11-02 17:39

Mathlib/Probability/Independence/Conditional.lean

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

Added ProbabilityTheory.CondIndepSets.biUnion View on Github →