diagrams/pdf/ncat/strict-associativity.pdf
author Kevin Walker <kevin@canyon23.net>
Wed, 02 Jun 2010 08:43:12 -0700
changeset 320 4b64f9c6313f
parent 266 e2bab777d7c9
permissions -rw-r--r--
Finished dealing with main issues in product thm proof; small issues still remain
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
266
e2bab777d7c9 minor changes, fixes to some diagrams
Scott Morrison <scott@tqft.net>
parents: 189
diff changeset
     1
(binary:application/pdf)