`BookProof.ChapterDutchBook.represents_isProb_coherent` [Fintype Ω] {Pr : Finset Ω → ℝ} {p : Ω → ℝ} (hp : IsProb p) (hrep : Represents Pr p) : Coherent Pr

Initializing...

`BookProof.ChapterDutchBook.represents_isProb_coherent` [Fintype Ω] {Pr : Finset Ω → ℝ} {p : Ω → ℝ} (hp : IsProb p) (hrep : Represents Pr p) : Coherent Pr · Prove2Me