P
Initializing...
`BookProof.ChapterA3.omegaG05_sq` : omegaG05 * omegaG05 = -1 · Prove2Me