Linearization stability theorem (source code)

= Linearization stability theorem

If every Jacobian eigenvalue has negative real part, the equilibrium is locally asymptotically stable.