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

Initializing...

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