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

Initializing...

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