`BookProof.NavierStokesGaugeY2.genY2_leibniz` (j : Fin 3) (p q : NSAlg) : genY2 j (p * q) = genY2 j p * q + p * genY2 j q

Initializing...

`BookProof.NavierStokesGaugeY2.genY2_leibniz` (j : Fin 3) (p q : NSAlg) : genY2 j (p * q) = genY2 j p * q + p * genY2 j q · Prove2Me