The mathematics of asymptotic stability in the Kuramoto model