`BookProof.NavierStokesGaugeY.genY_leibniz` (j : Fin 3) (p q : NSAlg) : genY j (p * q) = genY j p * q + p * genY j q

Initializing...

`BookProof.NavierStokesGaugeY.genY_leibniz` (j : Fin 3) (p q : NSAlg) : genY j (p * q) = genY j p * q + p * genY j q · Prove2Me