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