Theorem ProbabilityTheory.Kernel.IndepSets.biUnion

Modification history

2025-11-02 17:39
Mathlib/Probability/Independence/Kernel.lean
chore: fix typo in IndepSets.bUnion (#31181)
Added ProbabilityTheory.Kernel.IndepSets.biUnionView on Github →