`BookProof.ChapterParityHiggs.higgsDoublet_pseudoreal` (v : Fin 2 → ℂ) : realityOp pauli2 (realityOp pauli2 v) = -v

Initializing...

`BookProof.ChapterParityHiggs.higgsDoublet_pseudoreal` (v : Fin 2 → ℂ) : realityOp pauli2 (realityOp pauli2 v) = -v · Prove2Me