Sat, 26 Jun 2010 17:22:53 -0700 Making notation in the product theorem more consistent.
Scott Morrison <scott@tqft.net> [Sat, 26 Jun 2010 17:22:53 -0700] rev 401
Making notation in the product theorem more consistent.
(0) -300 -100 -30 -10 -1 +1 +10 +30 +100 +300 tip