`BookProof.ChapterDutchBook.Coherent.nonneg` {Pr : Finset Ω → ℝ} (h : Coherent Pr) (A : Finset Ω) : 0 ≤ Pr A

Initializing...

`BookProof.ChapterDutchBook.Coherent.nonneg` {Pr : Finset Ω → ℝ} (h : Coherent Pr) (A : Finset Ω) : 0 ≤ Pr A · Prove2Me