`BookProof.ChapterDutchBook.payoff_triple` (Pr : Finset Ω → ℝ) (A₀ A₁ A₂ : Finset Ω) (s₀ s₁ s₂ : ℝ) (ω : Ω) : payoff Pr ![A₀, A₁, A₂] ![s₀, s₁, s₂] ω = s₀ *...

Initializing...

`BookProof.ChapterDutchBook.payoff_triple` (Pr : Finset Ω → ℝ) (A₀ A₁ A₂ : Finset Ω) (s₀ s₁ s₂ : ℝ) (ω : Ω) : payoff Pr ![A₀, A₁, A₂] ![s₀, s₁, s₂] ω = s₀ *... · Prove2Me