diagrams/definition/evaluation1.pdf
author Scott Morrison <scott@tqft.net>
Sat, 26 Jun 2010 17:22:53 -0700
changeset 401 a8b8ebcf07ac
parent 375 faac9ca8f092
child 495 9500914bade0
permissions -rw-r--r--
Making notation in the product theorem more consistent.
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
375
faac9ca8f092 finished rearranging diagrams directory
Scott Morrison <scott@tqft.net>
parents: 162
diff changeset
     1
(binary:application/pdf)