P
Initializing...
`BookProof.ChapterPinOmega.qj_qk` : qj * qk = qi · Prove2Me