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