`BookProof.NavierStokesGaugeY2.genX_nsSymbol2` (nu : ℂ) (i j : Fin 3) : genX j (nsSymbol2 nu i) = 0

Initializing...

`BookProof.NavierStokesGaugeY2.genX_nsSymbol2` (nu : ℂ) (i j : Fin 3) : genX j (nsSymbol2 nu i) = 0 · Prove2Me