Mon, 18 Apr 2011 22:32:35 -0700 | Scott Morrison | removing repeated word | changeset | files |
Mon, 18 Apr 2011 22:28:44 -0700 | Scott Morrison | Automated merge with https://tqft.net/hg/blob/ | changeset | files |
Mon, 18 Apr 2011 22:28:40 -0700 | Scott Morrison | fixing minor mistake in the proof of the product formula | changeset | files |