`BookProof.NavierStokesGaugeY.uField_pderiv_y` (i j : Fin 3) : pderiv (NSVar.y j) (uField i) = X (NSVar.uD i j)

Initializing...

`BookProof.NavierStokesGaugeY.uField_pderiv_y` (i j : Fin 3) : pderiv (NSVar.y j) (uField i) = X (NSVar.uD i j) · Prove2Me