P
Initializing...
`BookProof.ChapterA3p.projSym_add_projAnti_two` : projSym 2 + projAnti 2 = 1 · Prove2Me