Theorem: MeasureTheory.measureReal_zero (Carleson/ToMathlib/MeasureReal.lean)

State before:
ι : Type u_1
α : Type u_2
β : Type u_3
x✝ : MeasurableSpace α
inst✝ : MeasurableSpace β
μ : Measure α
s✝ s₁ s₂ t s : Set α
⊢ Measure.real 0 s = 0
Tactic:
simp [measureReal_def]
State after:
no goals