Stable_manifold_theorem loading ...