`BookProof.ChapterElectroweakFieldStrength.pauli_commutator` (k l : Fin 3) : pauliV k * pauliV l - pauliV l * pauliV k = (2 * Complex.I) • ∑ m, eps k l m • pauliV m

Initializing...

`BookProof.ChapterElectroweakFieldStrength.pauli_commutator` (k l : Fin 3) : pauliV k * pauliV l - pauliV l * pauliV k = (2 * Complex.I) • ∑ m, eps k l m • pauliV m · Prove2Me