00README.XXX
author Kevin Walker <kevin@canyon23.net>
Thu, 02 Sep 2010 23:11:38 -0700
changeset 531 da9bf150bf3d
parent 8 15e6335ff1d4
permissions -rw-r--r--
proof of injectivity/colimit lemma

nohypertex