`BookProof.NavierStokesFlow.MomentumPerturbation.testState_coe_one` : (testState : ℕ → ℂ) 1 = Complex.I

Initializing...

`BookProof.NavierStokesFlow.MomentumPerturbation.testState_coe_one` : (testState : ℕ → ℂ) 1 = Complex.I · Prove2Me