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

Initializing...

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