`BookProof.NavierStokesFlow.MomentumPerturbation.testState_coe_zero` : (testState : ℕ → ℂ) 0 = 1

Initializing...

`BookProof.NavierStokesFlow.MomentumPerturbation.testState_coe_zero` : (testState : ℕ → ℂ) 0 = 1 · Prove2Me