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