Tue, 25 Jan 2011 00:30:50 -0800 Scott Morrison axioms (unfinished) and a bit about cell decompositions
Mon, 24 Jan 2011 21:50:56 -0800 Scott Morrison Automated merge with https://tqft.net/hg/blob/
Mon, 24 Jan 2011 21:50:45 -0800 Scott Morrison adjusting figure and proof of gluing per kevin's suggestions
(0) -300 -100 -30 -10 -3 +3 +10 +30 +100 tip