Sat, 28 Feb 2009 16:00:38 +0000 kevin local relation def; extended isotopy def
(0) -30 -10 -1 +1 +10 +30 +100 +300 tip