00README.XXX
author Kevin Walker <kevin@canyon23.net>
Sun, 19 Jun 2011 17:31:34 -0600
changeset 802 e3ddb8605e32
parent 8 15e6335ff1d4
permissions -rw-r--r--
adding transversality requirement to product morphism axiom

nohypertex