`BookProof.ChapterDutchBook.Coherent.additive` {Pr : Finset Ω → ℝ} (h : Coherent Pr) {A B : Finset Ω} (hAB : Disjoint A B) : Pr (A ∪ B) = Pr A + Pr B

Initializing...

`BookProof.ChapterDutchBook.Coherent.additive` {Pr : Finset Ω → ℝ} (h : Coherent Pr) {A B : Finset Ω} (hAB : Disjoint A B) : Pr (A ∪ B) = Pr A + Pr B · Prove2Me