`BookProof.NavierStokesFlow.JacobiDeficiency.jacobiOp_not_hasZeroDeficiencyOn` : ¬ HasZeroDeficiencyOn (lpFiniteModes ℕ) jacobiOp

Initializing...

`BookProof.NavierStokesFlow.JacobiDeficiency.jacobiOp_not_hasZeroDeficiencyOn` : ¬ HasZeroDeficiencyOn (lpFiniteModes ℕ) jacobiOp · Prove2Me