talks/20091108-Riverside/riverside1.pdf
author Scott Morrison <scott@tqft.net>
Thu, 27 May 2010 14:15:19 -0700
changeset 281 630ceb40a07b
parent 183 01b9936b1fe5
child 378 e5867a64cae5
permissions -rw-r--r--
removing 'explicit' families of diffeos partial proof

(binary:application/pdf)