`BookProof.NsBrstDerivativeGauge.genU_nsSymbol` (nu : ℂ) (i m : Fin 3) : genU m (nsSymbol nu i) = X (NSVar.uD i m)

Initializing...

`BookProof.NsBrstDerivativeGauge.genU_nsSymbol` (nu : ℂ) (i m : Fin 3) : genU m (nsSymbol nu i) = X (NSVar.uD i m) · Prove2Me