`BookProof.NavierStokesGaugeY2.genY_uField2` (i j : Fin 3) : genY j (uField2 i) = X (NSVar.uL i) * X (NSVar.y j)

Initializing...

`BookProof.NavierStokesGaugeY2.genY_uField2` (i j : Fin 3) : genY j (uField2 i) = X (NSVar.uL i) * X (NSVar.y j) · Prove2Me