Poisson bracket of conserved quantities (source code)

= Poisson bracket of conserved quantities

If $F$ and $G$ have no explicit time dependence and satisfy $\{F,H\}=\{G,H\}=0$, the Jacobi identity gives $\{\{F,G\},H\}=0$. Their Poisson bracket is therefore also conserved.