00README.XXX
author Scott Morrison <scott@tqft.net>
Sun, 19 Sep 2010 23:11:59 -0500
changeset 541 4f142fcd386e
parent 8 15e6335ff1d4
permissions -rw-r--r--
hopefully getting signs right in Lemma 6.3

nohypertex