Mon, 08 Aug 2011 16:19:57 -0700 | huffman | merged | changeset | files |
Mon, 08 Aug 2011 16:04:58 -0700 | huffman | fix perfect_space instance proof for finite cartesian product (cf. 5b970711fb39) | changeset | files |
Mon, 08 Aug 2011 15:27:24 -0700 | huffman | generalize sequence lemmas | changeset | files |