P
Initializing...
`BookProof.ChapterParityZ4.combinedParity_pow_four` : combinedParity ^ 4 = 1 · Prove2Me