P
Initializing...
`BookProof.ChapterParityZ4.combinedParity_sq_ne_one` : combinedParity ^ 2 ≠ 1 · Prove2Me