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

Initializing...

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