Wed, 16 Jun 2010 15:52:59 -0700 Kevin Walker Automated merge with https://tqft.net/hg/blob/
Wed, 16 Jun 2010 08:33:20 -0700 Kevin Walker aborted attempt at remark for small blobs lemma
Wed, 16 Jun 2010 15:29:19 -0700 Scott Morrison tikzing feb21 diagrams
Wed, 16 Jun 2010 14:39:25 -0700 Scott Morrison tikzing left-marked-antirefinements
(0) -300 -100 -30 -10 -4 +4 +10 +30 +100 +300 tip