00README.XXX
author Scott Morrison <scott@tqft.net>
Tue, 09 Nov 2010 14:22:02 +0900
changeset 595 9c708975b61b
parent 8 15e6335ff1d4
permissions -rw-r--r--
making pinched products axioms terser, and writing a short proof of the higher deligne conjecture

nohypertex