`BookProof.NavierStokesGaugeY2.genY2_uDField` (i j k : Fin 3) : genY2 j (uDField i k) = 0

Initializing...

`BookProof.NavierStokesGaugeY2.genY2_uDField` (i j k : Fin 3) : genY2 j (uDField i k) = 0 · Prove2Me