Fri, 14 Oct 2011 07:48:41 -0700 Kevin Walker changing general map thm to remark, as suggested by referee
Thu, 13 Oct 2011 11:18:58 -0700 Kevin Walker Automated merge with https://tqft.net/hg/blob/
Thu, 13 Oct 2011 11:18:52 -0700 Kevin Walker minor
(0) -300 -100 -30 -10 -3 +3 +10 +30 tip