no goals
α : Type u_1
β : Type ?u.28546
γ : Type ?u.28549
p : Pmf α
s t : Set α
⊢ ↑(toOuterMeasure p) (s ∩ support p) = ↑(toOuterMeasure p) s
simp only [toOuterMeasure_apply, Pmf.support, Set.indicator_inter_support]