`BookProof.NavierStokesGaugeY.genY_genY_commute` (j k : Fin 3) : ⁅genY j, genY k⁆ = 0

Initializing...

`BookProof.NavierStokesGaugeY.genY_genY_commute` (j k : Fin 3) : ⁅genY j, genY k⁆ = 0 · Prove2Me