`BookProof.BookBrstYangMills.strProd_jacobi` (x y z w : Fin N) : strProd G x y z w + strProd G y z x w + strProd G z x y w = 0

Initializing...

`BookProof.BookBrstYangMills.strProd_jacobi` (x y z w : Fin N) : strProd G x y z w + strProd G y z x w + strProd G z x y w = 0 · Prove2Me