Tue, 02 Feb 2016 02:27:16 +0000 proved also finiteness of non-problematic values
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 02 Feb 2016 02:27:16 +0000] rev 94
proved also finiteness of non-problematic values
(0) -30 -10 -1 +1 +10 +30 +100 +300 tip