P
Initializing...
`BookProof.ChapterPinOmega.qjC_qiC` : qjC * qiC = -qkC · Prove2Me