P
Initializing...
`BookProof.ChapterPinOmega.qi_sq` : qi * qi = -1 · Prove2Me