Second Lyapunov theorem (source code)

= Second Lyapunov theorem
{c}

A positive-definite Lyapunov function with strictly negative orbital derivative away from the equilibrium proves asymptotic stability.