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

Initializing...

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