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

Initializing...

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