P
Initializing...
`BookProof.ChapterPinOmega.qk_sq` : qk * qk = -1 · Prove2Me