`BookProof.NsBrstDerivativeGauge.nsDerivBrstCharge2_ne_zero` : nsDerivBrstCharge2 ≠ 0

Initializing...

`BookProof.NsBrstDerivativeGauge.nsDerivBrstCharge2_ne_zero` : nsDerivBrstCharge2 ≠ 0 · Prove2Me