diagrams/definition/single-blob.pdf
author Scott Morrison <scott@tqft.net>
Sat, 26 Jun 2010 17:22:53 -0700
changeset 401 a8b8ebcf07ac
parent 375 faac9ca8f092
child 437 93ce0ba3d2d7
permissions -rw-r--r--
Making notation in the product theorem more consistent.

(binary:application/pdf)