Mon, 25 May 2015 16:09:23 +0100 Christian Urban proved some basic properties (totality and trichonomity) for the orderings
(0) -30 -10 -1 +1 +10 +30 +100 +300 tip