Theorem ProbabilityTheory.measure_eq_zero_or_one_of_indepSet_self

Modification history

2023-10-25 14:17
Mathlib/Probability/Independence/ZeroOne.lean
feat: generalize some lemmas to directed types (#7852) …
Added ProbabilityTheory.measure_eq_zero_or_one_of_indepSet_selfView on Github →