no goals
ι : Type ?u.22585
α : Type u_1
β : Type ?u.22591
γ : Type ?u.22594
m0 : MeasurableSpace α
μ : Measure α
s✝ t : Set α
inst✝ : MeasurableSingletonClass (NullMeasurableSpace α)
s : Finset α
⊢ NullMeasurableSet ↑s
apply Finset.measurableSet