`BookProof.ChapterElectroweakFieldStrength.connection_comm_trace` (Wμ Wν : Fin 3 → ℂ) (j : Fin 3) : ((connection Wμ * connection Wν - connection Wν * connection Wμ) * pauliV j).tra

Initializing...

`BookProof.ChapterElectroweakFieldStrength.connection_comm_trace` (Wμ Wν : Fin 3 → ℂ) (j : Fin 3) : ((connection Wμ * connection Wν - connection Wν * connection Wμ) * pauliV j).tra · Prove2Me