Sun, 14 Nov 2010 18:33:03 -0800 proof of product thm
Kevin Walker <kevin@canyon23.net> [Sun, 14 Nov 2010 18:33:03 -0800] rev 623
proof of product thm
Sun, 14 Nov 2010 17:28:04 -0800 minor tweaks in sketch proofs
Scott Morrison <scott@tqft.net> [Sun, 14 Nov 2010 17:28:04 -0800] rev 622
minor tweaks in sketch proofs
(0) -300 -100 -30 -10 -2 +2 +10 +30 +100 +300 tip