Tue, 25 Jan 2011 00:30:50 -0800 | Scott Morrison | axioms (unfinished) and a bit about cell decompositions | changeset | files |
Mon, 24 Jan 2011 21:50:56 -0800 | Scott Morrison | Automated merge with https://tqft.net/hg/blob/ | changeset | files |
Mon, 24 Jan 2011 21:50:45 -0800 | Scott Morrison | adjusting figure and proof of gluing per kevin's suggestions | changeset | files |