`BookProof.NavierStokesFlow.JacobiDeficiency.jacobiFun_defFun` (n : ℕ) : jacobiFun defFun n = Complex.I * defFun n

Initializing...

`BookProof.NavierStokesFlow.JacobiDeficiency.jacobiFun_defFun` (n : ℕ) : jacobiFun defFun n = Complex.I * defFun n · Prove2Me