talks/20091108-Riverside/riverside1.pdf
author Kevin Walker <kevin@canyon23.net>
Wed, 02 Jun 2010 08:43:12 -0700
changeset 320 4b64f9c6313f
parent 183 01b9936b1fe5
child 378 e5867a64cae5
permissions -rw-r--r--
Finished dealing with main issues in product thm proof; small issues still remain

(binary:application/pdf)