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