Sat, 31 Jan 2015 18:21:03 +0000 Christian Urban added a preliminary part describing the main theorem
Fri, 30 Jan 2015 13:19:15 +0000 Christian Urban added line numbers
(0) -30 -10 -2 +2 +10 +30 +100 +300 tip