no goals
α : Type u_1
β : Type ?u.133661
γ : Type ?u.133664
δ : Type ?u.133667
ι : Type ?u.133670
R : Type ?u.133673
R' : Type ?u.133676
m0 : MeasurableSpace α
inst✝¹ : MeasurableSpace β
inst✝ : MeasurableSpace γ
μ✝ μ₁ μ₂ μ₃ ν ν' ν₁ ν₂ : Measure α
s✝ s' t : Set α
_m : MeasurableSpace α
c : ℝ≥0
μ : Measure α
s : Set α
⊢ c • ↑↑μ s = ↑c * ↑↑μ s
rfl