`BookProof.ChapterParityHiggs.pauli2_map_conj` : pauli2.map (starRingEnd ℂ) = -pauli2

Initializing...

`BookProof.ChapterParityHiggs.pauli2_map_conj` : pauli2.map (starRingEnd ℂ) = -pauli2 · Prove2Me