`BookProof.NavierStokesGaugeY.genX_nsSymbol` (nu : ℂ) (i j : Fin 3) : genX j (nsSymbol nu i) = 0

Initializing...

`BookProof.NavierStokesGaugeY.genX_nsSymbol` (nu : ℂ) (i j : Fin 3) : genX j (nsSymbol nu i) = 0 · Prove2Me