Theorem ProbabilityTheory.measure_eq_zero_or_one_of_indepSetCat_self

Modification history

2023-10-25 14:17
Mathlib/Probability/Independence/ZeroOne.lean
feat: generalize some lemmas to directed types (#7852) …
Deleted ProbabilityTheory.measure_eq_zero_or_one_of_indepSetCat_selfView on Github →
2023-06-04 05:44
Mathlib/Probability/Independence/ZeroOne.lean
style: recover `Is` of `Foo` which is ported from `is_foo` (#4639) …
Modified ProbabilityTheory.measure_eq_zero_or_one_of_indepSetCat_selfView on Github →
2023-06-02 19:15
Mathlib/Probability/Independence/ZeroOne.lean
feat: port Probability.Independence.ZeroOne (#4606)
Added ProbabilityTheory.measure_eq_zero_or_one_of_indepSetCat_selfView on Github →