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
Thu, 14 Jan 2016 17:19:40 +0000 Christian Urban updated
(0) -30 -10 -3 +3 +10 +30 +100 +300 tip