P
Initializing...
`BookProof.NavierStokesGaugeY2.genX_uField2` (i j : Fin 3) : genX j (uField2 i) = 0 · Prove2Me