Mon, 19 Jul 2010 12:27:19 -0700 filtration -> simplex, and another diagram
Scott Morrison <scott@tqft.net> [Mon, 19 Jul 2010 12:27:19 -0700] rev 456
filtration -> simplex, and another diagram
Mon, 19 Jul 2010 12:26:59 -0700 committing partial defn for 'ball decomposition', so I can change computer
Scott Morrison <scott@tqft.net> [Mon, 19 Jul 2010 12:26:59 -0700] rev 455
committing partial defn for 'ball decomposition', so I can change computer
Mon, 19 Jul 2010 08:43:02 -0700 removing superscripts from \bc
Scott Morrison <scott@tqft.net> [Mon, 19 Jul 2010 08:43:02 -0700] rev 454
removing superscripts from \bc
Mon, 19 Jul 2010 08:42:24 -0700 weaking thm:CH for iterated homotopy
Scott Morrison <scott@tqft.net> [Mon, 19 Jul 2010 08:42:24 -0700] rev 453
weaking thm:CH for iterated homotopy
(0) -300 -100 -30 -10 -4 +4 +10 +30 +100 +300 tip