`BookProof.ChapterElectroweakFieldStrength.abelian_fieldStrength` (g G : ℂ) (hg : g ≠ 0) : proj g (abelianFmat g G) 2 = G

Initializing...

`BookProof.ChapterElectroweakFieldStrength.abelian_fieldStrength` (g G : ℂ) (hg : g ≠ 0) : proj g (abelianFmat g G) 2 = G · Prove2Me