`BookProof.ChapterDutchBook.payoff_single` (Pr : Finset Ω → ℝ) (A₀ : Finset Ω) (s₀ : ℝ) (ω : Ω) : payoff Pr ![A₀] ![s₀] ω = s₀ * (betIndicator A₀ ω

Initializing...

`BookProof.ChapterDutchBook.payoff_single` (Pr : Finset Ω → ℝ) (A₀ : Finset Ω) (s₀ : ℝ) (ω : Ω) : payoff Pr ![A₀] ![s₀] ω = s₀ * (betIndicator A₀ ω - Pr A₀) · Prove2Me