talks/200901-AMS.pdf
author Kevin Walker <kevin@canyon23.net>
Mon, 04 Jul 2011 10:25:42 -0600
changeset 845 c9b55efd79dd
parent 152 85428d871089
permissions -rw-r--r--
added splittability axiom for fields

(binary:application/pdf)