`BookProof.BookBrstYangMills.strProd_symm` (p q r s : Fin N) : strProd G p q r s = strProd G r s p q

Initializing...

`BookProof.BookBrstYangMills.strProd_symm` (p q r s : Fin N) : strProd G p q r s = strProd G r s p q · Prove2Me