`BookProof.QuantumGravityBrstCharge.affBRST_nilpotent` : qgBRST affMat affF * qgBRST affMat affF = 0

Initializing...

`BookProof.QuantumGravityBrstCharge.affBRST_nilpotent` : qgBRST affMat affF * qgBRST affMat affF = 0 · Prove2Me