diagrams/pdf/tempkw/left-marked-antirefinements.pdf
author Scott Morrison <scott@tqft.net>
Thu, 03 Jun 2010 21:59:55 -0700
changeset 337 f77cb464248e
parent 262 3278eafef668
permissions -rw-r--r--
finally understanding what Lurie says, fixed remark about maps to a space

(binary:application/pdf)