Sun, 19 Sep 2010 23:01:49 -0500 | Scott Morrison | fixing some subscripts associated to homotopies | changeset | files |
Sun, 19 Sep 2010 22:57:10 -0500 | Scott Morrison | various changes to \S 6.1 | changeset | files |
Sun, 19 Sep 2010 22:29:29 -0500 | Scott Morrison | minor | changeset | files |