P
Initializing...
`BookProof.ChapterPinOmega.qkC_sq` : qkC * qkC = -1 · Prove2Me