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