declared and installed "applying Suslin Lemma"
Merge pull request #1 from wagh/master

Horrocks