talks/20091108-Riverside/riverside2.pdf
author Kevin Walker <kevin@canyon23.net>
Mon, 04 Jul 2011 10:25:42 -0600
changeset 845 c9b55efd79dd
parent 184 8d28511a39ac
permissions -rw-r--r--
added splittability axiom for fields

(binary:application/pdf)