P
Initializing...
`BookProof.ChapterA3j.chir_sq` : chir * chir = -1 · Prove2Me