Liouville–Arnold theorem (source code)

= Liouville–Arnold theorem
{c}
{wiki}

= Arnold-Liouville theorem
{c}
{synonym}

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