`BookProof.ChapterElectroweakFieldStrength.pauli_triple_trace` (a b c : Fin 3) : (pauliV a * pauliV b * pauliV c).trace = 2 * Complex.I * eps a b c

Initializing...

`BookProof.ChapterElectroweakFieldStrength.pauli_triple_trace` (a b c : Fin 3) : (pauliV a * pauliV b * pauliV c).trace = 2 * Complex.I * eps a b c · Prove2Me