Fri, 14 Oct 2011 07:48:41 -0700 | Kevin Walker | changing general map thm to remark, as suggested by referee | changeset | files |
Thu, 13 Oct 2011 11:18:58 -0700 | Kevin Walker | Automated merge with https://tqft.net/hg/blob/ | changeset | files |
Thu, 13 Oct 2011 11:18:52 -0700 | Kevin Walker | minor | changeset | files |