Mon, 12 Dec 2011 15:01:37 -0800 | Kevin Walker | remove lemma 3.2.3 (support-shrink lemma); it was only used once | changeset | files |
Mon, 12 Dec 2011 10:37:50 -0800 | Scott Morrison | last case of inserting product regions | changeset | files |
Sun, 11 Dec 2011 23:18:45 -0800 | Scott Morrison | Automated merge with https://tqft.net/hg/blob | changeset | files |