`BookProof.NavierStokesGaugeY2.uField2_pderiv_y` (i j : Fin 3) : pderiv (NSVar.y j) (uField2 i) = uDField i j

Initializing...

`BookProof.NavierStokesGaugeY2.uField2_pderiv_y` (i j : Fin 3) : pderiv (NSVar.y j) (uField2 i) = uDField i j · Prove2Me