`BookProof.BookBrstYangMills.gaussGen_bracket` (c e : Fin N) : gaussGen G c * gaussGen G e - gaussGen G e * gaussGen G c = ∑ h, (G.f c e h) • gaussGen G h

Initializing...

`BookProof.BookBrstYangMills.gaussGen_bracket` (c e : Fin N) : gaussGen G c * gaussGen G e - gaussGen G e * gaussGen G c = ∑ h, (G.f c e h) • gaussGen G h · Prove2Me