`BookProof.NavierStokesGaugeY.genY_uField_perturbed` (i j : Fin 3) (c : ℂ) : genY j (uField i + C c * X (NSVar.y j)) = C c

Initializing...

`BookProof.NavierStokesGaugeY.genY_uField_perturbed` (i j : Fin 3) (c : ℂ) : genY j (uField i + C c * X (NSVar.y j)) = C c · Prove2Me