P
Initializing...
`BookProof.NsBrstDerivativeGauge.nsHamAlgX_one` (nu : ℂ) : nsHamAlgX nu 1 = 0 · Prove2Me