P
Initializing...
`BookProof.ChapterA3k.parityDiag_sq` : parityDiag * parityDiag = 1 · Prove2Me