`BookProof.ChapterG3.eventProj_union` (A B : Set X) : eventProj (A ∪ B) = eventProj A + eventProj B

Initializing...

`BookProof.ChapterG3.eventProj_union` (A B : Set X) : eventProj (A ∪ B) = eventProj A + eventProj B - eventProj A * eventProj B · Prove2Me