`BookProof.ChapterParity.higgsParity_order_four` : higgsParity * higgsParity ≠ 1 ∧ higgsParity * higgsParity * (higgsParity * higgsParity) = 1

Initializing...

`BookProof.ChapterParity.higgsParity_order_four` : higgsParity * higgsParity ≠ 1 ∧ higgsParity * higgsParity * (higgsParity * higgsParity) = 1 · Prove2Me