`BookProof.ChapterParityQL.QLParity_pow_four` : QLParity * QLParity * (QLParity * QLParity) = 1

Initializing...

`BookProof.ChapterParityQL.QLParity_pow_four` : QLParity * QLParity * (QLParity * QLParity) = 1 · Prove2Me