P
Initializing...
`BookProof.ChapterA4e.projPos_mul_projNeg` : projPos * projNeg = 0 · Prove2Me