Sat, 30 Jan 2016 13:12:36 +0000 Christian Urban proved some lemmas about star and mkeps (injval etc not yet done)
Thu, 21 Jan 2016 12:47:20 +0000 Christian Urban added theory for star
(0) -30 -10 -2 +2 +10 +30 +100 +300 tip