talks/20091108-Riverside/riverside1.pdf
author Scott Morrison <scott@tqft.net>
Sun, 19 Sep 2010 23:11:59 -0500
changeset 541 4f142fcd386e
parent 378 e5867a64cae5
permissions -rw-r--r--
hopefully getting signs right in Lemma 6.3

(binary:application/pdf)