`BookProof.NavierStokesGaugeY2.uField2_pderiv_y_twice` (i j : Fin 3) : pderiv (NSVar.y j) (pderiv (NSVar.y j) (uField2 i)) = X (NSVar.uL i)

Initializing...

`BookProof.NavierStokesGaugeY2.uField2_pderiv_y_twice` (i j : Fin 3) : pderiv (NSVar.y j) (pderiv (NSVar.y j) (uField2 i)) = X (NSVar.uL i) · Prove2Me