`BookProof.NavierStokesGaugeY2.genY_genY2_not_commute` (j : Fin 3) : ⁅genY j, genY2 j⁆ ≠ 0

Initializing...

`BookProof.NavierStokesGaugeY2.genY_genY2_not_commute` (j : Fin 3) : ⁅genY j, genY2 j⁆ ≠ 0 · Prove2Me