no goals
α✝ : Type ?u.14969
β : Type u_2
γ : Type ?u.14975
δ : Type ?u.14978
inst✝² : MeasurableSpace α✝
α : Type u_1
inst✝¹ : MeasurableSpace α
inst✝ : Nonempty α
b : β
⊢ ↑(SimpleFunc.range (const α b)) = ↑{b}
simp [Function.const]