diagrams/ncat/zz2.pdf
author Scott Morrison <scott@tqft.net>
Sun, 19 Sep 2010 23:11:59 -0500
changeset 541 4f142fcd386e
parent 380 6876295aec26
child 828 762ffd2246e7
permissions -rw-r--r--
hopefully getting signs right in Lemma 6.3

(binary:application/pdf)