| Thu, 25 Aug 2011 11:57:42 -0700 | huffman | simplify many proofs about subspace and span; | changeset | files |
| Thu, 25 Aug 2011 11:56:20 -0700 | huffman | remove duplicate simp declaration | changeset | files |
| Thu, 25 Aug 2011 09:17:02 -0700 | huffman | simplify definition of 'interior'; | changeset | files |
| Wed, 24 Aug 2011 16:08:21 -0700 | huffman | add lemma closure_union; | changeset | files |