`BookProof.NavierStokesGaugeY2.genY2_genY2_commute` (j k : Fin 3) : ⁅genY2 j, genY2 k⁆ = 0

Initializing...

`BookProof.NavierStokesGaugeY2.genY2_genY2_commute` (j k : Fin 3) : ⁅genY2 j, genY2 k⁆ = 0 · Prove2Me