Re-includes a proof as per TODO.
Remove a TODO (for m = m(r)).

Jan had already taken care of this.
Remove another TODO, explaining computation of mus.
Merge branch 'master' of github.com:SPancratz/deformation-paper