Sun, 19 Jun 2011 17:31:34 -0600 | Kevin Walker | adding transversality requirement to product morphism axiom | changeset | files |
Sun, 19 Jun 2011 17:07:48 -0600 | Kevin Walker | adding placeholder figure | changeset | files |
Sun, 19 Jun 2011 15:31:28 -0600 | Kevin Walker | new n-cat axiom for splittings | changeset | files |