Carathéodory–Jacobi–Lie theorem

The CarathéodoryJacobiLie theorem is a theorem in symplectic geometry which generalizes Darboux's theorem.