Thu, 10 May 2007 04:06:56 +0200 | huffman | fix proofs | changeset | files |
Thu, 10 May 2007 03:11:03 +0200 | huffman | remove redundant lemmas | changeset | files |
Thu, 10 May 2007 03:07:26 +0200 | huffman | lemmas iszero_(h)complex_number_of are no longer needed | changeset | files |