no goals
α : Type u_1
β : Type ?u.3039973
γ : Type ?u.3039976
γ₂ : Type ?u.3039979
δ : Type ?u.3039982
ι : Sort y
s t u : Set α
inst✝ : MeasurableSpace α
f : EReal → α
h : Measurable fun p => f ↑p
⊢ Set.Finite {⊥, ⊤}
simp