`BookProof.NavierStokesGaugeY.setYZero_uField` (i : Fin 3) : setYZero (uField i) = X (NSVar.u i)

Initializing...

`BookProof.NavierStokesGaugeY.setYZero_uField` (i : Fin 3) : setYZero (uField i) = X (NSVar.u i) · Prove2Me