`BookProof.NsBrstDerivativeGauge.nsHamAlg_one` (nu : ℂ) : nsHamAlg nu 1 = ∑ i : Fin 3, X (NSVar.uD i i)

Initializing...

`BookProof.NsBrstDerivativeGauge.nsHamAlg_one` (nu : ℂ) : nsHamAlg nu 1 = ∑ i : Fin 3, X (NSVar.uD i i) · Prove2Me