blob%20to-do
Tue, 05 Jul 2011 13:28:02 -0600 Kevin Walker fixing proof of 7.1.1 (product thm)
less more (0) -30 -10 -1 tip