`BookProof.ChapterParitySU2.pauliV_pseudoreal` (j : Fin 3) : pauli2 * pauliV j * pauli2 = -((pauliV j).map (starRingEnd ℂ))

Initializing...

`BookProof.ChapterParitySU2.pauliV_pseudoreal` (j : Fin 3) : pauli2 * pauliV j * pauli2 = -((pauliV j).map (starRingEnd ℂ)) · Prove2Me