Mon, 19 Jul 2010 12:27:19 -0700 | Scott Morrison | filtration -> simplex, and another diagram | changeset | files |
Mon, 19 Jul 2010 12:26:59 -0700 | Scott Morrison | committing partial defn for 'ball decomposition', so I can change computer | changeset | files |