P
Initializing...
`BookProof.ChapterA3x.projMixed_three_ne_zero` : projMixed 3 ≠ 0 · Prove2Me