`BookProof.NavierStokesGaugeY.setYZero_nsSymbol` (nu : ℂ) (i : Fin 3) : setYZero (nsSymbol nu i) = nsSymbolPoint nu i

Initializing...

`BookProof.NavierStokesGaugeY.setYZero_nsSymbol` (nu : ℂ) (i : Fin 3) : setYZero (nsSymbol nu i) = nsSymbolPoint nu i · Prove2Me