`BookProof.ChapterDutchBook.Coherent.empty` {Pr : Finset Ω → ℝ} (h : Coherent Pr) : Pr (∅ : Finset Ω) = 0

Initializing...

`BookProof.ChapterDutchBook.Coherent.empty` {Pr : Finset Ω → ℝ} (h : Coherent Pr) : Pr (∅ : Finset Ω) = 0 · Prove2Me