P
Initializing...
`BookProof.ChapterPinOmega.qj_sq` : qj * qj = -1 · Prove2Me