`BookProof.ChapterElectroweakFieldStrength.pauli_commutator_trace` (k l j : Fin 3) : ((pauliV k * pauliV l - pauliV l * pauliV k) * pauliV j).trace = 4 * Complex.I * eps k l j

Initializing...

`BookProof.ChapterElectroweakFieldStrength.pauli_commutator_trace` (k l j : Fin 3) : ((pauliV k * pauliV l - pauliV l * pauliV k) * pauliV j).trace = 4 * Complex.I * eps k l j · Prove2Me