`BookProof.ChapterParityZ4.combinedParity_sq` : combinedParity ^ 2 = (-1, -1, -1, -1) · Prove2Me

P

Initializing...

`BookProof.ChapterParityZ4.combinedParity_sq` : combinedParity ^ 2 = (-1, -1, -1, -1) · Prove2Me