Mon, 12 Dec 2011 15:01:37 -0800 | Kevin Walker | remove lemma 3.2.3 (support-shrink lemma); it was only used once | file | diff | annotate |
Thu, 08 Dec 2011 15:57:34 -0800 | Kevin Walker | minor - Section 3.2 | file | diff | annotate |
Thu, 11 Aug 2011 13:54:38 -0700 | Scott Morrison | finishing most of the minor/typo issues from the referee | file | diff | annotate |
Wed, 09 Feb 2011 18:21:58 -0800 | Kevin Walker | added remark to easy gluing prop (compatible with gluing on fields). this is in response to comment from PT that the zero map satisfies the claims of the proposition. | file | diff | annotate |