`BookProof.ChapterDutchBook.coherent_iff_exists_prob` [Fintype Ω] (Pr : Finset Ω → ℝ) : Coherent Pr ↔ ∃ p : Ω → ℝ, IsProb p ∧ Represents Pr p

Initializing...

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