`BookProof.ChapterG3.eventProj_inter` (A B : Set X) : eventProj (A ∩ B) = eventProj A * eventProj B

Initializing...

`BookProof.ChapterG3.eventProj_inter` (A B : Set X) : eventProj (A ∩ B) = eventProj A * eventProj B · Prove2Me