`BookProof.ChapterDutchBook.coherent_exists_prob` [Fintype Ω] {Pr : Finset Ω → ℝ} (h : Coherent Pr) : ∃ p : Ω → ℝ, IsProb p ∧ Represents Pr p

Initializing...

`BookProof.ChapterDutchBook.coherent_exists_prob` [Fintype Ω] {Pr : Finset Ω → ℝ} (h : Coherent Pr) : ∃ p : Ω → ℝ, IsProb p ∧ Represents Pr p · Prove2Me