P

Initializing...

`BookProof.NavierStokesFlow.FullEsa.jacobiFullData_hamiltonian` : jacobiFullData.hamiltonian = jacobiOp · Prove2Me