talks/2008-Oberwolfach.pdf
author Scott Morrison <scott@tqft.net>
Thu, 03 Jun 2010 17:19:37 -0700
changeset 332 160ca7078ae9
parent 152 85428d871089
permissions -rw-r--r--
fixing some inconsistencies in where the easy basic properties are treated

(binary:application/pdf)