Theorem ProbabilityTheory.indepSets_iff_singleton_indepSets

Modification history

2025-11-04 11:38
Mathlib/Probability/Independence/Basic.lean
feat: independence iff indepent from all singletons (#31183)
Added ProbabilityTheory.indepSets_iff_singleton_indepSetsView on Github →