P
Initializing...
`BookProof.ChapterPinOmega.qiC_sq` : qiC * qiC = -1 · Prove2Me