Thu, 25 Aug 2011 16:06:50 -0700 | huffman | generalize and shorten proof of basis_orthogonal | changeset | files |
Thu, 25 Aug 2011 15:35:54 -0700 | huffman | remove dot_lsum and dot_rsum in favor of inner_setsum_{left,right} | changeset | files |
Thu, 25 Aug 2011 14:26:38 -0700 | huffman | merged | changeset | files |
Thu, 25 Aug 2011 14:25:19 -0700 | huffman | generalize lemma finite_imp_compact_convex_hull and related lemmas | changeset | files |
Thu, 25 Aug 2011 13:48:11 -0700 | huffman | generalize some lemmas | changeset | files |
Thu, 25 Aug 2011 12:52:10 -0700 | huffman | generalize lemma convex_cone_hull | changeset | files |
Thu, 25 Aug 2011 12:43:55 -0700 | huffman | rename subset_{interior,closure} to {interior,closure}_mono; | changeset | files |