`BookProof.NavierStokesGaugeY2.genY2_uField2_perturbed` (i j : Fin 3) (c : ℂ) : genY2 j (uField2 i + C c * (X (NSVar.y j) * X (NSVar.y j))) = C c * (2 * X (NSVar.y j))

Initializing...

`BookProof.NavierStokesGaugeY2.genY2_uField2_perturbed` (i j : Fin 3) (c : ℂ) : genY2 j (uField2 i + C c * (X (NSVar.y j) * X (NSVar.y j))) = C c * (2 * X (NSVar.y j)) · Prove2Me