`BookProof.NsBrstDerivativeGauge.nsHamAlg_one_ne_zero` (nu : ℂ) : nsHamAlg nu 1 ≠ 0

Initializing...

`BookProof.NsBrstDerivativeGauge.nsHamAlg_one_ne_zero` (nu : ℂ) : nsHamAlg nu 1 ≠ 0 · Prove2Me