`BookProof.NsBrstDerivativeGauge.genU_nsSymbol_ne_zero` (nu : ℂ) (i m : Fin 3) : genU m (nsSymbol nu i) ≠ 0

Initializing...

`BookProof.NsBrstDerivativeGauge.genU_nsSymbol_ne_zero` (nu : ℂ) (i m : Fin 3) : genU m (nsSymbol nu i) ≠ 0 · Prove2Me