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
(0) -300 -100 -30 -10 -1 +1 +10 +30 +100 tip