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 |