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