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

Initializing...

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