P
Initializing...
`BookProof.ChapterPinOmega.qjC_sq` : qjC * qjC = -1 · Prove2Me