00README.XXX
author Scott Morrison <scott@tqft.net>
Sat, 26 Jun 2010 17:22:53 -0700
changeset 401 a8b8ebcf07ac
parent 8 15e6335ff1d4
permissions -rw-r--r--
Making notation in the product theorem more consistent.

nohypertex