P
Initializing...
`BookProof.NsBrstDerivativeGauge.nsDerivBrstCharge_ne_zero` : nsDerivBrstCharge ≠ 0 · Prove2Me