Fri, 28 Jan 2011 19:17:40 +0000 | urbanc | slightly tuned the main lemma and the finiteness proofs | changeset | files |
Fri, 28 Jan 2011 12:53:01 +0000 | wu | test | changeset | files |
Fri, 28 Jan 2011 11:52:11 +0000 | zhang | More improvement | changeset | files |