`BookProof.ChapterParity.fermionParity_order_four` : mgamma 0 * mgamma 0 ≠ 1 ∧ mgamma 0 * mgamma 0 * (mgamma 0 * mgamma 0) = 1

Initializing...

`BookProof.ChapterParity.fermionParity_order_four` : mgamma 0 * mgamma 0 ≠ 1 ∧ mgamma 0 * mgamma 0 * (mgamma 0 * mgamma 0) = 1 · Prove2Me