`BookProof.NavierStokesGaugeY2.uField2_pderiv_u` (m i : Fin 3) : pderiv (NSVar.u m) (uField2 i) = if m = i then 1 else 0

Initializing...

`BookProof.NavierStokesGaugeY2.uField2_pderiv_u` (m i : Fin 3) : pderiv (NSVar.u m) (uField2 i) = if m = i then 1 else 0 · Prove2Me