00README.XXX
author Kevin Walker <kevin@canyon23.net>
Wed, 09 Feb 2011 18:21:58 -0800
changeset 713 eafdb7806df3
parent 8 15e6335ff1d4
permissions -rw-r--r--
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.
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
8
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
     1
nohypertex