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