`BookProof.NavierStokesGaugeY2.genY_genY2_bracket_X_u` (i j : Fin 3) : ⁅genY j, genY2 j⁆ (X (NSVar.u i)) = -X (NSVar.uL i)

Initializing...

`BookProof.NavierStokesGaugeY2.genY_genY2_bracket_X_u` (i j : Fin 3) : ⁅genY j, genY2 j⁆ (X (NSVar.u i)) = -X (NSVar.uL i) · Prove2Me