no goals
α : Type u_2
β : Type u_1
γ : Type ?u.10223
p : Pmf α
f : α → Pmf β
g : β → Pmf γ
b : β
⊢ b ∈ support (bind p f) ↔ b ∈ ⋃ (a : α) (_ : a ∈ support p), support (f a)
simp [mem_support_iff, ENNReal.tsum_eq_zero, not_or]