Arnold-Liouville theorem (source code)

= Arnold-Liouville theorem
{c}
{wiki=Liouville–Arnold_theorem}

A compact connected regular common level of $n$ commuting integrals is an $n$-torus with local action-angle coordinates.