`BookProof.NsBrstDerivativeGauge.nsHamAlg_ne_nsHamAlgX` (nu : ℂ) : nsHamAlg nu ≠ nsHamAlgX nu

Initializing...

`BookProof.NsBrstDerivativeGauge.nsHamAlg_ne_nsHamAlgX` (nu : ℂ) : nsHamAlg nu ≠ nsHamAlgX nu · Prove2Me