`BookProof.ChapterParityHiggs.pauli2_pseudoreal` : pauli2 * (pauli2.map (starRingEnd ℂ)) = -1

Initializing...

`BookProof.ChapterParityHiggs.pauli2_pseudoreal` : pauli2 * (pauli2.map (starRingEnd ℂ)) = -1 · Prove2Me