Thu, 24 Mar 2011 10:06:09 -0700 | Kevin Walker | added 2nd parameter to the two bordism examples | changeset | files |
Thu, 24 Mar 2011 09:08:15 -0700 | Kevin Walker | invisible, unimportant changes | changeset | files |
Wed, 23 Mar 2011 15:33:48 -0700 | Scott Morrison | neat embedding for bordism category | changeset | files |