P
Initializing...
`BookProof.NavierStokesFlow.JacobiDeficiency.defState_ne_zero` : defState ≠ 0 · Prove2Me