`BookProof.QuantumGravityBrstCharge.affMat_non_abelian` : affMat 0 * affMat 1 ≠ affMat 1 * affMat 0

Initializing...

`BookProof.QuantumGravityBrstCharge.affMat_non_abelian` : affMat 0 * affMat 1 ≠ affMat 1 * affMat 0 · Prove2Me