Wed, 28 Apr 2010 22:20:59 -0700 | huffman | remove redundant lemma vector_dist_norm | changeset | files |
Wed, 28 Apr 2010 22:02:55 -0700 | huffman | remove redundant lemma norm_0 | changeset | files |
Wed, 28 Apr 2010 21:39:14 -0700 | huffman | generalize some euclidean space lemmas | changeset | files |