`BookProof.NsBrstDerivativeGauge.nsDerivBrstCharge2_nilpotent` : nsDerivBrstCharge2 * nsDerivBrstCharge2 = 0

Initializing...

`BookProof.NsBrstDerivativeGauge.nsDerivBrstCharge2_nilpotent` : nsDerivBrstCharge2 * nsDerivBrstCharge2 = 0 · Prove2Me