`BookProof.NavierStokesGaugeY2.setYZero_nsSymbol2` (nu : ℂ) (i : Fin 3) : setYZero (nsSymbol2 nu i) = nsSymbolPoint nu i

Initializing...

`BookProof.NavierStokesGaugeY2.setYZero_nsSymbol2` (nu : ℂ) (i : Fin 3) : setYZero (nsSymbol2 nu i) = nsSymbolPoint nu i · Prove2Me