Added documentation for SuslinLemma - 4 arguments case
Merge pull request #7 from wagh/devel

Added documentation for SuslinLemma - 4 arguments case