Mathlib v3 is deprecated. Go to Mathlib v4

Theorem set.mem_dite_univ_left

Modification history

2022-10-14 20:35
src/data/set/basic.lean
feat(probability/independence): Kolmogorov's 0-1 law (#16648) …
Added set.mem_dite_univ_leftView on Github →