no goals
α : Type u_1
β : Type ?u.722328
γ : Type ?u.722331
δ : Type ?u.722334
ι : Type ?u.722337
R : Type ?u.722340
R' : Type ?u.722343
m0✝ : MeasurableSpace α
inst✝¹ : MeasurableSpace β
inst✝ : MeasurableSpace γ
μ✝ μ₁ μ₂ μ₃ ν ν' ν₁ ν₂ : Measure α
s s' t : Set α
m0 : MeasurableSpace α
μ : Measure α
⊢ ↑↑μ ∅ < ⊤
simp only [measure_empty, WithTop.zero_lt_top]