Thu, 01 Jul 2010 15:40:58 -0700 | huffman | merged | changeset | files |
Thu, 01 Jul 2010 15:40:38 -0700 | huffman | convert theorem path_connected_sphere to euclidean_space class | changeset | files |
Thu, 01 Jul 2010 09:24:04 -0700 | huffman | generalize more lemmas from ordered_euclidean_space to euclidean_space | changeset | files |