reintroduce notation for homotopy in isweqhomot (uu0a), fix resulting error in algebra1a
Merge pull request #67 from benediktahrens/fix-isweqhomot

reintroduce notation for homotopy in isweqhomot (uu0a), fix resulting er...