Thu, 24 Jun 2010 14:21:51 -0400 Scott Morrison edits to sphere-modules stuff: some todos added
Thu, 24 Jun 2010 14:21:20 -0400 Scott Morrison starting to fix the 'large coupons' problem in smallblobs
Thu, 24 Jun 2010 14:20:38 -0400 Scott Morrison cross-references for the small blobs lemma
Thu, 24 Jun 2010 10:17:19 -0400 Scott Morrison Automated merge with https://tqft.net/hg/blob/
(0) -300 -100 -30 -10 -4 +4 +10 +30 +100 +300 tip