blob%20to-do
Sun, 10 Jul 2011 14:43:19 -0600 Kevin Walker no splittability requirement for k=n
Tue, 05 Jul 2011 13:28:02 -0600 Kevin Walker fixing proof of 7.1.1 (product thm)
less more (0) -30 -10 -2 tip