`BookProof.NavierStokesGaugeY.pderiv_swap` (a b : NSVar) (p : NSAlg) : pderiv a (pderiv b p) = pderiv b (pderiv a p)

Initializing...

`BookProof.NavierStokesGaugeY.pderiv_swap` (a b : NSVar) (p : NSAlg) : pderiv a (pderiv b p) = pderiv b (pderiv a p) · Prove2Me