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