`BookProof.ChapterParitySU2.su2_conj_inner` (j : Fin 3) : (su2gen j).map (starRingEnd ℂ) = pauli2 * su2gen j * pauli2

Initializing...

`BookProof.ChapterParitySU2.su2_conj_inner` (j : Fin 3) : (su2gen j).map (starRingEnd ℂ) = pauli2 * su2gen j * pauli2 · Prove2Me